ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-21 06:33:31 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
6ae5d3a04b
genode/os/lib/mk/arm
History
Christian Prochaska 4a9b1c6aab base-linux: add ARM support 
This patch introduces a new platform 'linux_arm' for building and running
Genode/Linux on an ARM device.

Known limitations:

- libc 'setjmp()'/'longjmp()' doesn't currently save/restore floating
  point registers

Fixes #746.
2013-05-24 14:55:37 +02:00
..
blit.mk Specialize blit library for ARM (fix #147). 2012-03-21 22:04:25 +01:00
ld.mk Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
ldso_crt0_lx.mk base-linux: add ARM support 2013-05-24 14:55:37 +02:00
ldso_crt0.mk Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
ldso-startup.mk Imported Genode release 11.11 2011-12-22 16:19:25 +01:00