selfe-start 0.0.28

Crate defining the entry point to the initial thread on seL4
1
2
3
4
5
6
[target.x86_64-sel4-robigalia.dependencies]
alloc = {}
[target.i686-sel4-robigalia.dependencies]
alloc = {}
[target.arm-sel4-robigalia.dependencies]
alloc = {}