Kernel for Technologic Systems' TS-7600/TS-4600