mrpKERNEL - (Simple) kernel for x86