L4 Bootimage tools

Spring, Ryan C rcspring at utep.edu
Mon Sep 18 06:02:04 CEST 2006

Which tools are available to generate monolithic bootimages for l4 on platforms that don't support elf?   I have seen the dite tool from NICTA; are there also other options?



Ryan Spring


Ryan Spring

Doctoral Student

University of Texas at El Paso (UTEP)


Cell: +1 915-539-7311 (when in USA)

Alt Cell: +49 179-9624406 (when in Germany)




Auch aus Steinen, die einem in den Weg gelegt werden, kann man Schönes bauen.


J.W. Goethe



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20060917/7c571234/attachment.html>

More information about the l4-hackers mailing list