mirror of
https://review.haiku-os.org/haiku
synced 2025-01-20 13:31:28 +01:00
fe4fdaad2e
* used by HAIKU_BOOT_BOARD. * gcc machine options from Raspberry Pi wiki. * don't get too excited, or expect any Haiku love for it anytime soon.