#include <mango/log.h>
#include <mango/types.h>

int main(
	int argc,
	const char **argv,
	kern_handle_t task,
	kern_handle_t address_space,
	uintptr_t bsp_base)
{
	kern_log("ld!");
	return 0;
}