GitXplorerGitXplorer
b

barrelfish-docker

public
0 stars
0 forks
0 issues

Commits

List of commits on branch master.
Verified
dcd7dfbd6188fae4fcfa26fa7b528153e1f5f1f8

Add build script for Doxygen

bbbenno committed 4 years ago
Verified
5ea5cf766f50c0fe03f5f86f0f0fccac3bda63db

Add build script for Documentation

bbbenno committed 4 years ago
Verified
e3abd91f1d0077096b1cbc23f1bbaaa3fe716203

Add README containing short setup description

bbbenno committed 4 years ago
Verified
d5c86565fd3b198b0eacb57a45325bee15e7c277

Add x86 helper scripts

bbbenno committed 4 years ago
Verified
7d4df208775f750f216b0309c9f62dc7a94b91ad

Remove obsolete Makefile

bbbenno committed 4 years ago
Verified
312bcfb8da2bf911e4f8060ad212d31ddbb0bfb5

Dockerfile: Slim down to pure build environment setup

bbbenno committed 4 years ago

README

The README file for this repository.

== Setup

=== x86_64

. Checkout git submodules + [source]

git submodule update --init

. Build and run Docker container + [source]

./run-x86.sh

. Within the Docker container: Build Barrelfish for x86 + [source]

cd barrelfish ./build-x86.sh

. After leaving Docker container: Run QEMU + [source]

./start-qemu-x86.sh