Difference between revisions of "Porting Embedded XINU to Virgil"

From REU@MU
Jump to: navigation, search
 
(9 intermediate revisions by the same user not shown)
Line 14: Line 14:
 
Embedded Xinu could provide a platform for Virgil to demonstrate its capabilities as a language for education and research.
 
Embedded Xinu could provide a platform for Virgil to demonstrate its capabilities as a language for education and research.
  
== Current Objectives ==  
+
== More Information ==
* Get Virgil to compile and execute in Embedded Xinu. This objective would require completing a ELF loader for Xinu
+
For the complete log of this research project, please visit: [[User:mxberner|Here]]
 +
 
 +
== Final Poster ==
 +
[[File:reu-poster-mxberner.png|200px|frameless|left|poster detailing summer 2022 work on porting virgil to E Xinu]]

Latest revision as of 07:52, 6 August 2022

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.

More Information

For the complete log of this research project, please visit: Here

Final Poster

poster detailing summer 2022 work on porting virgil to E Xinu