The objective of the Trusted Computing Exemplar (TCX) project is to construct a useful example of a high assurance component as a reference model for building high assurance systems. The targeted exemplar component is the Least Privilege Separation Kernel (LPSK). The LPSK currently exists in the form of a partially implemented prototype. With respect to support for external computer peripherals, the prototype LPSK currently supports visual display units (e.g., LCD monitors) for output and PS/2 keyboards for user inputs. The PS/2 interface is a technology that is fast disappearing from computer systems. To keep the support for external computer peripherals up to date, support for other interface standards such as USB is required. This work has identified and ported part of the USB implementation (i.e., USB bus driver, UHCI driver and hub driver) from an open source BIOS called Sea BIOS to the LPSK. The problems encountered in the course of porting, together with their solutions, are presented to facilitate future work. Tests were conducted to ensure correct behavior of the ported code.
展开▼
