l4linux with ide-harddisk

Adam Lackorzynski adam at os.inf.tu-dresden.de
Fri Aug 16 00:23:56 CEST 2013


On Wed Aug 14, 2013 at 00:32:03 +0200, Rudolf Weber wrote:
> After a virtualbox-trouble and a reconfiguration of the
> virtualbox-Maschine my l4re/mag/l4linux-systemboots now.
> It boots with and without -vvv Debuging-Options in he IO.
> Thank you for your information with the PCI/IDE-relation.
> The default l4linux-ux -Konfiguration is without CONFIG_PCI/CONFIG_VPCI.

> Is the IDE-Driver working without the PCI ? (Or does the
> ux-Configration not supporting an physical harddisk ?) 

The IDE controller in a PC is (usually) always a PCI device. So no, it
will not work without PCI. The UX configuration is an L4Linux config
that has been configured to not use any physical hardware. It's just

> Another Question:
>  In 2002-2004 l4env has an IDL-Compiler Dice.
> Now I read,that the L4-Api V4 is not machine dependend.
> In the C++-Example, the is an special stream to unmashall the opcode and the parameters.
> This code looks like the code the ACE/TAO (CORBA)-IDL Compiler generates.
> What are the reasons (L4-Api V4 is one) to retire IDL-Compilers ?

An IDL compiler is good to have but also requires considerable work for
the tool itself. It has been found out that C++-based stream operators
hide the most annoying work on marshalling/unmarshalling and behave well
on the performance side as well. The IDL compiler still has other
benefits but needs to be done and maintained.

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

More information about the l4-hackers mailing list