remove dependency on clang

parent f5277d48
......@@ -30,8 +30,6 @@ There are also some Python-related dependencies that need to be installed. If yo
pip install --user sel4-deps
You will also need to have `clang` installed, with the ability to target the architectures you plan on building for. This is currently used to compile some of the assembly files we use. In the future, we hope to remove this dependency.
Before building any robigalia low-level libraries you will need to `cd path/to/robigalia/sel4` and configure the sel4 kernel (see[here]):
make x64_qemu_defconfig
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment