the programmer who made the Telbex kernel