#include <stdint.h>
#include <socks/init.h>
#include <socks/test.h>
#include <socks/printk.h>
#include <socks/machine/init.h>
#include <socks/machine/cpu.h>

extern unsigned long get_rflags(void);

extern char __pstart[], __pend[];

void print_kernel_banner(void)
{
	printk("Socks kernel version " BUILD_ID);
}

void kernel_init(uintptr_t arg)
{
	ml_init(arg);

	run_all_tests();
	
	ml_halt_cpu();
}