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