search

raspberrypi / Raspberry-Pi-OS-64bit

Repository for containing issues on the 64 bit operating system (as distinct from the 32 bit one)
466 stars 21 forks source link

Where is the source code? #38

Open ossguy opened 4 years ago

ossguy commented 4 years ago

I'd like to build Raspberry Pi OS 64-bit just as I'm able to build NOOBS from source:

https://github.com/raspberrypi/noobs#how-to-rebuild-noobs

In particular, I want to know where I can find all the source code needed to build the image described at https://www.raspberrypi.org/forums/viewtopic.php?f=117&t=275370 , which would include the instructions needed to do the building (similar to what's at the above link for NOOBS).

Could you point me to where I can find this source code, including instructions? Thanks!

lurch commented 4 years ago

https://github.com/RPi-Distro/pi-gen

ossguy commented 4 years ago

Hmmm, I don't see any specific instructions for building the 64-bit version there. Is that a setting? In any case, this should probably be documented in https://github.com/raspberrypi/Raspberry-Pi-OS-64bit/blob/master/README.md since this is the repository where we're told to report issues.

XECDesign commented 4 years ago

https://github.com/RPi-Distro/pi-gen/issues/413

lurch commented 4 years ago

This comment suggests that pi-gen can now build 64-bit versions?