Problem with the configuring user-level code of L4Ka::Pistachio

Jan Stoess stoess at
Sun Nov 30 15:13:34 CET 2008

Hi Svet, 
L4-hackers is the wrong mailing list for L4Ka issues; I've CC:'ed the correct one.

You have to build configure using the programs "autoheader" and "autoconf" Please read README.HG for instructions.


Jan Stoess
System Architecture Group
University of Karlsruhe
Phone: +49 (721) 608-4056
Fax: +49 (721) 608-7664
eMail: stoess at

More information about the l4-hackers mailing list