Re: [seL4] drivers in seL4

Ahh, This is a very interesting question.

On 21 June 2017 at 14:16, 杰尔米 emerald0106@qq.com wrote:

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