Urgent help needed to port some drivers on Fiasco L4 µ-Kernel

[tapas kundu]

Hi ALL,
              We are students of IIT Delhi. We are working on a project
based on Fiasco L4 microkernel. We need to buid servers on L4 for ext2
filesystem support and usb web cam support. Could you please clear following
doubts :
              1) Does "fiasco l4 microkernel/ l4 env" provide support for
ext2 filesystem or usb webcam ?
              2) Does "fiasco l4 microkernel/ l4 env" provides Device Driver
API library so that we can build driver for it ?
              3) Do we need to build both usb driver and webcam driver in
"fiasco l4 microkernel/ l4 env" to provide support for usb webcam ?
              4) Does "fiasco l4 microkernel/ l4 env" provides l4 io driver
for SATA or IDE harddisk ? Can we use that to build our ext2 filesystem
support for it?

Thansks & Regards
Tapas Kumar Kundu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20090402/a9e83385/attachment.html>