porting linux driver in Fiasco.OC

shabnam shabnam.engineer72 at yahoo.com
Mon Aug 10 08:37:27 CEST 2015

Adam Lackorzynski <adam <at> os.inf.tu-dresden.de> writes:

> On Sat Aug 08, 2015 at 07:53:17 +0000, Shabnam Engineer wrote:
> > Hi thanks for your answersI want to implement Fiasco.OC on a board and 
test some RTOS beside other non
> realtime OS  .. at first I want to  be sure that if I need a driver for 
our special tests and the Fiasco.OC
> does not support that, Could I choose it from linux drivers and port it 
to Fiasco.OC microkernel?does
> someone do this work?thanks for your considering my 
question.regards, shabnam 
> I'm not sure I understand. Which type of driver do you think you need?
> Which type of board do you have?
> Adam

Hello Adam 
Our test does not exactly specify till now, but I think we need a net 
driver and some other necessary drivers. We want to use arm-based board 
like raspberry Pi or exynos or lpc3250. 
We want to be sure that we will not face the problem at the middle of our 
works if we choose Fiasco.OC.

More information about the l4-hackers mailing list