SEL4 User-space drivers Example

480 Views Asked by At

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

1

There are 1 best solutions below

0
On

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.