porting linux driver in Fiasco.OC
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
More information about the l4-hackers