sel4-tutorials icon indicating copy to clipboard operation
sel4-tutorials copied to clipboard

Published 20 hours ago • verified publisher icon seL4

camkes-vm-linux: pick up proper kernel config

Open malus-brandywine opened this issue 4 years ago • 1 comments
trafficstars

"poke" module should be build with correct Linux configuration to match the pre-built kernel version. (Tutorial issue #80)

Signed-off-by: Nataliya Korovkina [email protected]

malus-brandywine avatar Nov 21 '21 22:11 malus-brandywine

What's left to be done to merge this?

axel-h avatar Mar 21 '22 21:03 axel-h