porting linux driver in Fiasco.OC

Adam Lackorzynski adam at os.inf.tu-dresden.de
Mon Aug 10 22:56:09 CEST 2015

On Mon Aug 10, 2015 at 06:37:27 +0000, shabnam wrote:
> 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.

In this case L4Linux is the faster approach to have drivers. But still,
on ARM, it's generally not a plug'n'play experience.

Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list