ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-03-02 12:59:17 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/tool/builddir/etc/build.conf.linux_arm

2 lines
41 B
Plaintext
Raw Normal View History

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 11:04:42 +02:00
REPOSITORIES = $(GENODE_DIR)/base-linux
Reference in New Issue Copy Permalink