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-syscall-sel4.mk

sel4: use kernel branch 7.0 + our mastered commits

2017-11-30 11:23:05 +01:00