Kernel written in assembly for WRAMP