first version of Makefile / hello_world_kernel.c submission