The Container Environment for Xen on RISC-V Development

Setup

1. Fetch Dependencies

$ make fetch

2. Pull Docker image

$ make docker-pull

Build

$ make docker-all

Run

$ make run

Debug

Call make run in one terminal session.

In another window:

$ make debug

Build Docker Image

# First build the "upstream" image
$ make docker-build-upstream

# Then build the "downstream" image
$ make docker-build