Alexander Boettcher 990b7945a7 sel4: use kernel branch 7.0 + our mastered commits ... for uefi, multiboot2, benchmark interface adaptations and ARM define build fixes. Issue #2562		2017-11-30 11:23:05 +01:00
..
import	sel4: use kernel branch 7.0 + our mastered commits	2017-11-30 11:23:05 +01:00
mk	sel4: instruct python to skip .pyc generation	2017-09-07 11:47:16 +02:00