Porting Embedded XINU to Virgil

From REU@MU
Revision as of 07:46, 6 August 2022 by Mxberner (Talk | contribs)

Jump to: navigation, search

Students: Max Berner, Maverick Berner
Mentor: Dr. Dennis Brylow

Project Background

The focus of the project is to create a port of the Operating System Embedded Xinu over to the programming language Virgil. Embedded Xinu is the OS used for many classes at Marquette University, including COSC 3250: Operating Systems. It functions as a unique educational tool to demonstrate essential aspects of computing in a comprehensible manner for students. Embedded Xinu is a reimplementation of Xinu that has been developed under the direction of Dr. Dennis Brylow since 2006.

Virgil is a fast, object-orientated programming language developed by Dr. Ben Titzer. It is an optimized language used in ongoing research such as Wizard, a next-generation WebAssembly virtual machine. The language can be read further here on its Github repository.

Motivation

Virgil is a language designed for systems like Embedded Xinu, potentially providing performance optimizations. Modernizing Xinu by providing new and innovative features helps keep course material relevant. Having coursework designed with Virgil provides a greater learning experience by diversifying students knowledge and opening the opportunity to learn Xinu concurrently with a new programming language. Embedded Xinu could provide a platform for Virgil to demonstrate its capabilities as a language for education and research.

Current Objectives

  • Get Virgil to compile and execute in Embedded Xinu. This objective would require completing a ELF loader for Xinu


More Information

For the complete log of this research project, please visit this page: Max Berner