Christian Helmuth 8e205e0324 sel4: assignment of BOARD as effective override ...

Issue #3792

2020-06-30 09:11:57 +02:00

..

import

sel4: use kernel branch 7.0 + our mastered commits

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

mk

sel4: assignment of BOARD as effective override

2020-06-30 09:11:57 +02:00