Added details to the README.md for linux.

This commit is contained in:
Jacob Pease 2023-08-11 12:27:23 -05:00
parent 027190ecc9
commit 5f0edbd825

View File

@ -6,13 +6,13 @@ In order to generate the Linux and boot stage binaries compatible with Wally, Bu
$ make install BUILDROOT=path/to/buildroot $ 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: To install a new buildroot directory, build the binaries, and generate the device tree binaries in one command, use:
$ make BUILDROOT=path/to/buildroot $ 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 $ make
@ -20,6 +20,13 @@ Note that the `$RISCV` variable cannot be set prior to building in buildroot or
## Generating Device Tree Binaries ## 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 ## Creating a Bootable SD Card