Frank Mehnert fm3@os.inf.tu-dresden.de writes:
Unfortunately in German there is a paper that describes an environment to port the Linux SCSI driver to L4:
http://os.inf.tu-dresden.de/papers_ps/l4scsi.ps
The source may be found at our CVS server.
Nope, the SCSI package currently is not exported via our anonymous-CVS server... But if you want to release it, there probably is no problem.
Michael