dealloc/kernel

A small kernel for educational purposes

Makefile