#include "kernel/alloc64.c"
#include "kernel/bonobo.c"
#include "kernel/breakkey.c"
#include "kernel/config.c"
#include "kernel/console.c"
#include "kernel/irq.c"
#include "kernel/kern.c"
#include "kernel/keyboard.c"
#include "kernel/main.c"
#include "kernel/mono.c"
#include "kernel/network.c"
#include "kernel/prelude.c"
#include "kernel/private.h"
#include "kernel/score.c"
#include "kernel/vdg.c"
#include "kernel/wall.c"
#include "kernel/wiznet.c"