OS161 in Docker

Pull from Docker Hub

Docker Hub images are built from the code in this repository. Alternatively build an image from source.

docker pull johnramsden/os161

If you would prefer to build your own image instead of using a pre-built one, clone this repository and build from source.

docker build . -t os161

Place code to mount into container on local filesystem, ~/os161 used in below example.

Run container, mounting a directory into the container:

docker run --interactive --tty \
    --volume="${HOME}/os161:/home/os161/os161" johnramsden/os161

Now after compiling a kernel, it can be started.

sys161 kernel

To open up multiple terminals use tmux inside the container.

or docker exec into an already running container.

docker exec --interactive --tty <id> /bin/bash

References:

Licenced MIT