all:
	rm -f *.ads *.ali *.o *.d 
	(cd /usr/include ; find sys -type f) | grep -v -e vm86.h -e elf.h | sed -e "s-^-#include <-"  -e "s-\$$->-" >gen.c
	gcc -c gen.c -fdump-ada-spec -fada-spec-parent=kernel
	rm -f *.c *.o