USB Support for the Least Privilege Separation Kernel
Tan, Hwee Meng
Clark, Paul C.
MetadataShow full item record
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.
Showing items related by title, author, creator and subject.
Evaluating insurgency external support through the French-Algerian War, Vietnam War, and Islamic State Mendes, Jason M. (Monterey, California: Naval Postgraduate School, 2017-03);The purpose of this thesis is to explore the role of external support for insurgencies, with particular emphasis on the Islamic State (IS). The research evaluates such support during the French–Algerian War, the Vietnam ...
Fowler, Brad (Monterey, California. Naval Postgraduate School, 1980-12);This thesis explores the requirements for Automated Data Processing (ADP) support to Navy Public Works Departments in their role as Utilities managers for Navy and Marine Corps Shore Stations. Utilities function tasks ...
A comparative analysis of the Army Special Forces support structure to the Infantry Division (Light) support structure Stauffer, Robin James (Monterey, California: Naval Postgraduate School, 1990-12);The problem examined in this thesis is whether the current structure for the command and control of combat service support for Army special operations forces (ARSOF) is adequate for all ARSOF support units. This thesis is ...