A kernel-mode device driver to set a GPIO pin to toggle according to the kernel clock. - View it on GitHub