
l4archclean:
	rm -f emulib/emulib-s emulib/emulib emulib/int_entry.pre
	rm -f kernel/l4_idle.pre

l4archmrproper:

