# Level 0 kernel is "asm inline" if gcc and "asm extern" if not
# Level 1 kernel is the C generic one

cat >> $file << EOT
pariinl.h: $src/kernel/ix86/level0.h $src/kernel/none/level1.h
	cat $src/kernel/ix86/level0.h $src/kernel/none/level1.h > \$@
level0.s: $src/kernel/ix86/l0asm.c $src/kernel/ix86/l0asm.h
	\$(CPP) $src/kernel/ix86/l0asm.c | sed -e '/^#/d' -e '/^ *#line/d' -e 's/%  */%/g' > level0.s
kernel\$(_O):  level0.s
	\$(CC) -c \$(CFLAGS) \$(CPPFLAGS) -o kernel\$(_O) level0.s
mp\$(_O): .headers $src/kernel/none/mp.c
	\$(CC) -c \$(CFLAGS) \$(CPPFLAGS) -o mp\$(_O) $src/kernel/none/mp.c
mpinl\$(_O): .headers $src/kernel/none/level1.h
	\$(CC) -c \$(CFLAGS) \$(CPPFLAGS) -o mpinl\$(_O) $src/kernel/none/level1.c

EOT