3 Commits

Author	SHA1	Message	Date
Alexander Boettcher	af93f8d01b	sel4: update to 3.1.0 ... - adjust syscall bindings to support -fPIC - read serial i/o ports from BIOS data area - use autoconf.h provided by sel4 -- to avoid ambiguity between sel4 kernel and user libraries -- remove manual set defines - remove debug messages - increase user virtual area to 3GB Issue #1720 Issue #2044	2016-08-10 11:07:50 +02:00
Norman Feske	e3cb8d48f7	sel4: never compile syscall-using code with -fPIC	2015-05-26 09:39:56 +02:00
Norman Feske	29f58dbd70	sel4: first syscall invokation	2015-05-26 09:39:54 +02:00