Used to do a lot of Darwin/XNU stuff. Probably most known for my VC4 firmware. I contribute to a few projects in my spare time so I feel less useless.
Pinned Loading
-
rpi-open-firmware
rpi-open-firmware PublicOpen source VPU side bootloader for Raspberry Pi.
-
-
xnu-uboot-arm32
xnu-uboot-arm32 Public2012-era uBoot augumentations for working with IMGX files as well as XNU on ARM32. Unmaintained.
-
-
hermanhermitage/videocoreiv
hermanhermitage/videocoreiv PublicTools and information for the Broadcom VideoCore IV (RaspberryPi)
-
libSystem_and_linker
libSystem_and_linker PublicLinker, libSystem and other stuff for Magenta.
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.