GitHub repository: nictateos/nictate
Description: Nictate is a kernel primarily made for embedded systems and TVs