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
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
Hi Jeremy,
A conventional device driver needs: 1) IRQ, 2) IO mapped registers and 3) DMA memory. You can get more details on those by:
1) Reading the seL4 manual [1], Chapter 8: Hardware I/O.
2) Follow sel4 tutorials [2], specifically hello-timer, to learn about how to use our seL4 libraries to work with a timer.
3) You can always have a look at already implemented seL4 drivers as a reference (e.g. ethernet [3], timers and serial [4]), and how they are being used in an actual project like sel4test [5] and sel4bench [6].
Feel free to ask any more questions, and thanks for your interest in seL4.
[1] http://sel4.systems/Info/Docs/seL4-manual-latest.pdf
[2] https://github.com/SEL4PROJ/sel4-tutorials
[3] https://github.com/seL4/libethdrivers
[4] https://github.com/seL4/libplatsupport
[5] https://github.com/seL4/sel4test [6] https://github.com/seL4/sel4bench
Cheers, Hesham
On 21/06/17 21:40, Jheengut Pritvi wrote:
Ahh, This is a very interesting question.
On 21 June 2017 at 14:16, 杰尔米 <emerald0106@qq.com mailto: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 <https://sel4.systems/lists/listinfo/devel>
Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel