From 5f0edbd82531dac41ba301a4d75e54e68b7cbf3f Mon Sep 17 00:00:00 2001 From: Jacob Pease Date: Fri, 11 Aug 2023 12:27:23 -0500 Subject: [PATCH] Added details to the README.md for linux. --- linux/README.MD | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/linux/README.MD b/linux/README.MD index d753c7ab3..3e47f58e5 100644 --- a/linux/README.MD +++ b/linux/README.MD @@ -6,13 +6,13 @@ In order to generate the Linux and boot stage binaries compatible with Wally, Bu $ 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. +You can override the `BUILDROOT` variable to place buildroot where you want it. By default it will be placed at `/opt/riscv/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: +Or simply use the default buildroot location in `/opt/riscv`: $ make @@ -20,6 +20,13 @@ Note that the `$RISCV` variable cannot be set prior to building in buildroot or ## Generating Device Tree Binaries +The device tree files for the various FPGA's Wally supports, as well as QEMU's device tree for the virt machine, are located in the `./devicetree` subdirectory. These device tree files are necessary for the boot process. In order to build the device tree binaries (.dtb) from the device tree sources (.dts), we can build all of them at once using: + + $ make generate BUILDROOT=path/to/buildroot + + Or for the default buildroot location: + + $ make generate ## Creating a Bootable SD Card