A pony-themed UNIX-like kernel.