#include <kernel/init.h>
#include <kernel/printk.h>
int run_all_tests(void)
{
printk("############ RUNNING KERNEL TESTS ############");
return start_initlevel(INITLEVEL_TESTS);
}