Static API and Configurator for Static Operating Systems

Abstract

A static OS, with which the used OS objects are created at system build time, requires some method for describing the configuration information which is necessary for creating OS objects. Static API is a language for describing the configuration information of a real-time OS. It was first introduced in the μITRON4.0 Specification and improved in the TOPPERS New Generation Kernel Specification. This paper describes the requirements on static API and the specifications of static API in those specifications. This paper also describes the design and implementation of the configurator, software that processes static API, along the 20 years' history of development in the TOPPERS project.