Simple RPN calculator implemented as a Linux kernel module.