#include "shared/sio.h"
#include "shared/attributes.h"

__noreturn void _ee_start() {
	SIO_puts("EE: Hello World from Lily~\n");
	while(1)
		;
}