From a313e7fb6eb173a04253b5c0295ff1fa697e1f5f Mon Sep 17 00:00:00 2001 From: Jacob Pease Date: Fri, 11 Aug 2023 12:11:56 -0500 Subject: [PATCH] Added a README.md for the linux directory. WIP. --- linux/README.MD | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 linux/README.MD diff --git a/linux/README.MD b/linux/README.MD new file mode 100644 index 000000000..d753c7ab3 --- /dev/null +++ b/linux/README.MD @@ -0,0 +1,26 @@ +# Linux for core-v-wally + +## Setting up Buildroot + +In order to generate the Linux and boot stage binaries compatible with Wally, Buildroot is used for cross-compilation. To set up a Buildroot directory, configuration files for Buildroot, Linux, and Busybox must be copied into the correct locations inside the main Buildroot directory. This can be done automatically using the Makefile inside Wally's Linux subdirectory (this one). To install and patch a fresh Buildroot directory, type: + + $ make install BUILDROOT=path/to/buildroot + +In addition to copying the configuration files, it will install the buildroot package needed to build the SD card driver for Linux. + +To install a new buildroot directory, build the binaries, and generate the device tree binaries in one command, use: + + $ make BUILDROOT=path/to/buildroot + +Or simply use the default buildroot location in /opt/riscv: + + $ make + +Note that the `$RISCV` variable cannot be set prior to building in buildroot or the build will fail. It is best to run `source ./setup.sh` to alter your `$PATH` and set the `$RISCV` variable after buildroot has succesfully built the binaries. If you're new to buildroot, you can find the binaries in `/output/images`. + +## Generating Device Tree Binaries + + +## Creating a Bootable SD Card + +