RE: Device Driver Reuse

Jan Stoess <[email protected]> Mon, 26 Oct 2009 17:10:19 +0100

Newsgroups	gmane.comp.micro-kernel.l4.l4ka.general
Message-ID	<[email protected]>

Hi Roberto,

I've added a small fix to the repo that lets the build infrastructure use gcc for all the external support stuff (e.g., dietlibc) as well. Can you please update your HG repo and tell me whether compiling dietlibc works now? 

Thanks,
-Jan

--
Jan Stoess
KIT/UKa System Architecture Group
Phone: +49 (721) 608-4056
Fax: +49 (721) 608-7664
eMail: [email protected]