mirror of
https://github.com/rcore-os/rCore.git
synced 2024-11-23 00:16:17 +04:00
.. | ||
.bash_aliases | ||
Dockerfile | ||
entrypoint.sh | ||
README.md |
Building Blog OS using Docker
Inspired by redox.
You just need git
, make
, and docker
.
It is beter to use a non-privileged user to run the docker
command, which is usually achieved by adding the user to the docker
group.
Run the container to build Blog OS
You can build the docker image using make docker_build
and run it using make docker_run
.
Run the container interactively
You can use the make
target docker_interactive
to get a shell in the container.
Clear the toolchain caches (Cargo & Rustup)
To clean the docker volumes used by the toolchain, you just need to run make docker_clean
.
License
The source code is dual-licensed under MIT or the Apache License (Version 2.0). This excludes the blog
directory.