DDE Linux26 in the Hurd
doebel at os.inf.tu-dresden.de
Thu Jan 28 15:29:39 CET 2010
-----BEGIN PGP SIGNED MESSAGE-----
>>> So I suggest why not let the logical bus contains all devices in the system.
>> Because in a secure system you don't want the NIC device driver to see
>> all other devices. This is why we need an IO manager that manages access
>> to devices on a per-driver basis.
> I thought only root could run drivers.
No. Especially, since L4 does not have a concept of users, there is no
super-user or anything. Access to hardware resources is granted by the
kernel to any user app that has the corresponding rights.
> I'm sorry to ask again about the status of DDE Linux26 again. The hard disk
> driver for TUDOS is based on DDE Linux26 or you wrote it from scratch?
It is DDE-based. Not very hard, you can extract libATA code from Linux
and need to add a few function stubs the the L4-specific DDE glue.
> What about the graphic card since TUDOS already has graphic interface?
TUDOS graphics are VGA-based, we don't use any hardware-accelerated
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
-----END PGP SIGNATURE-----
More information about the l4-hackers