10 Jan
2020
10 Jan
'20
11:19 p.m.
hey guys I'm abdurahman and i have same question for you i have been studying microkernel for a little well now specially seL4 and i have done almost every tutorials in sel4 -tutorials and i have a crazy idea ,that is i when try to build a 'shell or prompt' on the seL4 mircokernel but i don't have any idea how to do or where to start . does any one have a suggestion for me
2265
Age (days ago)
2266
Last active (days ago)
3 comments
4 participants
participants (4)
-
abdi mahmud haji -
G. Branden Robinson -
Heiser, Gernot (Data61, Kensington NSW) -
Matt Rice