OKL4 Hypervisor Software Development Kit Plugin

Abstract

The General Dynamics Open Kernel Labs (OKL4) Hypervisor group had the problem of designing a program that will enable users of the OKL4 hypervisor to easily create a hypervisor system. The current method of creating a system was tedious, requiring extensive knowledge of the OKL4 software development kit (SDK) and hard coding Extensible Markup Language (XML) files. To solve this problem, an Eclipse plugin was designed and developed that consolidates, automates, and error-proofs the process of creating an OKL4 hypervisor system. Primarily coded in Java, the developed plugin met all the requirements laid out by General Dynamics. A set of living documents: Technical Data Package (TDP), System Requirements Document (SRD), Software Design Document (SDD), and Acceptance Test Procedure (ATP), were all created to track the functionality and results of the plugin. On top of these documents, the plugin was upkept and version controlled within a GitLab repository, which also contains a comprehensive wiki on how to run and further develop the Eclipse plugin.