Hi

I have a question about porting Linux drivers in Sel4.

Can I port Linux drivers into Sel4? 

I know that DDEKit provides such functionality for L4-based systems and I could find the implementation of that in fiasco.OC microkernel, but I can not find same works for Sel4.

 

I want to implement Sel4 on a board and test some features, At first I want to  be sure that if I need a driver for our special tests and the Sel4 does not support that, Could I choose it from Linux drivers and port it to Sel4 microkernel? 

Thank you for your considering my question.

Regards,

Shabnam