Porting Embedded XINU to Virgil

From REU@MU
Revision as of 07:25, 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. 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. 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.