On: Learning operating system development using Linux kernel and Raspberry Pi

[oldcynic]

Recompiling the kernel used to be something you just did for some things.

If you can drive the command line and a makefile you should be able to tinker, and render it unable to boot. :)