Hi all，

I want to know more about the mechanism of device driver in seL4.

How does seL4 support userspace drivers?

if I want to write a driver(e.g. serial port) base on seL4, how to do that?

can any one help?

Best Regards!

Jeremy

_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel