I am trying to write sample usb driver for sel4 in userspace. can anybody have an idea about sel4 user-space driver please share with me... If anyone have example code for sel4 user-space driver(sample drivers) please share with me...
asked Sep 19, 2017 at 8:44
Ashokkumar
1251 gold badge3 silver badges9 bronze badges
-
have you accomplished it?Aasim– Aasim2018年09月09日 11:12:57 +00:00Commented Sep 9, 2018 at 11:12
-
Could somebody with 1500+ reputation create a tag "seL4", so it could be added here? Seems there is some work in a seL4 specific Q/A site for stack overflow: area51.stackexchange.com/proposals/120611/sel4Axel Heider– Axel Heider2018年11月29日 22:34:17 +00:00Commented Nov 29, 2018 at 22:34
-
Pleas consider asking this on our proposal above ^ and also on the seL4 developer's mailing list: sel4.systems/lists/listinfo/devel or irq channel: docs.sel4.systems/IRCChannel. We're trying to build a better community for seL4 developmenton stack overflow, but it's still a work in progress.Anna Lyons– Anna Lyons2018年11月29日 23:47:53 +00:00Commented Nov 29, 2018 at 23:47
1 Answer 1
seL4 is a microkernel. its architecture is base on transfer most of kernel modules (for example filesystem driver, network stack driver , ... ) to user space area. so in its repository all driver like libusbdrivers, libethdrivers ,libsdhcdriver ,... work in user space mode. so you can check them.
Sign up to request clarification or add additional context in comments.
Comments
Explore related questions
See similar questions with these tags.