mango/kexts/hello-world/hello-world.c

#include <socks/printk.h>
#include <socks/kext.h>

kern_status_t online(struct kext *self)
{
	printk("Hello, world!");
	return KERN_OK;
}