genode/repos/base-sel4/lib
Stefan Kalkowski ea46c462a4 base: make stack area base specifiable for core
When running core as the kernel inside every component, a separate
stack area for core is needed that is different from the user-land
component's one.

Ref #2091
2017-08-28 16:49:46 +02:00
..
import sel4: update to 5.2.0 2017-08-17 11:04:19 +02:00
mk base: make stack area base specifiable for core 2017-08-28 16:49:46 +02:00