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