Master Ticket: create MIPS/sys161 Barrelfish port - Githubissues

Harvard-PRINCESS / Guppy

A very adaptable fish.

Other

1 stars 3 forks source link

Master Ticket: create MIPS/sys161 Barrelfish port #99

Open penlu opened 7 years ago

penlu commented 7 years ago

TODO:

create docker image for running sys161
read OS161 build/config process, to steal the image creation procedure
read sys161, for familiarity w/ simulator, devices, and image load process
stub code for MIPS port (arch directories in kernel, include, lib/barrelfish)
make tools for building sys161 images (multiboot? elf?)
make Hakefile + menu.lst for new machine/platform
hook up tools for 161 build to all of that