denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-22 13:02:56 +01:00
Code Issues Packages Projects Releases Wiki Activity
2,233 Commits 10 Branches 51 Tags
2e04cc2d87faf451cb8cc8df6e656bc2d7eb5063
Commit Graph

3 Commits

Author SHA1 Message Date
Martin Stein
4f0a75b0bc linux: clean-up lib-files of base and base-common 
Issue #1042
 2014-02-25 14:58:08 +01:00
Christian Prochaska
c962240922 crt0 cleanup 
- use the generic 'crt0.s' for Linux
- move the read-only '__dso_handle' definition into the '.text' section
- move the '__initial_sp' definition into the '.bss' section
- remove the '_main_utcb' definition

Part of #766.
 2013-07-05 12:37:43 +02:00
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