5

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...

Anna Lyons
  • 228
  • 2
  • 4
Ashokkumar
  • 115
  • 1
  • 3
  • 8
  • have you accomplished it? – Aasim Sep 09 '18 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: https://area51.stackexchange.com/proposals/120611/sel4 – Axel Heider Nov 29 '18 at 22:34
  • Pleas consider asking this on our proposal above ^ and also on the seL4 developer's mailing list: https://sel4.systems/lists/listinfo/devel or irq channel: https://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 Nov 29 '18 at 23:47

1 Answers1

0

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.

msh
  • 31
  • 3