History log of /seL4-camkes-master/tools/rumprun/lib/libbmk_core/arch/earm/Makefile.inc
Revision Date Author Comments
# 61c37c71 04-Aug-2015 Antti Kantee <pooka@iki.fi>

Add initial ARM support.

A "hello world" works. This means that pthreads, TLS, scheduling
etc. work. There is no I/O support currently (except console).
Adding I/O support requires some fixes to NetBSD (most likely limited
to minor adjustments).

There are two paths to go from here: either add I/O device support,
or fix some structural problems in rumprun which make it assume x86.