Operating system kernel automatic construction
Xiaohua Jia, Mamoru Maekawa · ACM SIGOPS Operating Systems Review · 1995
Each year a large amount of resources have been devoted into porting operating system kernels from one machine to another. This paper proposes a new system which is able to construct operating system kernel automatically based on kernel functions specification and hardware interface specification. The system can increase the efficiency and productivity of porting operating systems or building new systems. It can also generate more reliable kernels than human programmers.