5 Commits

Author	SHA1	Message	Date
Alexander Boettcher	16b395dce3	sel4: use kernel branch 7.0 + our mastered commits ... Fixes #2562	2017-12-21 15:01:45 +01:00
Christian Helmuth	b446e17bcd	sel4: instruct python to skip .pyc generation ... This keeps the contrib directory clean.	2017-09-07 11:47:16 +02:00
Alexander Boettcher	fd0b256f7c	sel4: support cpu utilization via TRACE service ... using benchmark infrastructure of the seL4 kernel Issue #2451	2017-08-18 10:24:47 +02:00
Alexander Boettcher	da5441292a	sel4: add Wandboard Quad (iMX6) support ... Issue #2451	2017-08-17 11:04:21 +02:00
Alexander Boettcher	66c0c7b6f1	sel4: add x86_64 support ... Issue #2451	2017-08-17 11:04:20 +02:00