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