21 Jun
2017
21 Jun
'17
8:16 p.m.
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
3199
Age (days ago)
3199
Last active (days ago)
2 comments
3 participants
participants (3)
-
Hesham.Almatary＠data61.csiro.au -
Jheengut Pritvi -
杰尔米