Ahh, This is a very interesting question. On 21 June 2017 at 14:16, 杰尔米 <[email protected]> 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 > [email protected] > https://sel4.systems/lists/listinfo/devel > >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
