Hi Inti, Have a look at README.HG it says: If you obtained this version of Pistachio directly from the Mercurial repository, you will need the following tools in order to build the Pistachio user-level libraries and applications/servers:
o autoheader o autoconf Best, -Jan -- Dr.-Ing. Jan Stoess KIT/UKa System Architecture Group Phone: +49 (721) 608 4056 Fax: +49 (721) 608 7664 http://os.ibds.kit.edu/stoess