From 6b8a5bf80780062431f1a3708d120104145bd0e6 Mon Sep 17 00:00:00 2001 From: Angelo Vargas Date: Thu, 7 Jun 2018 14:01:46 -0500 Subject: [PATCH] Fixed typo in build instructions --- docs/lesson01/rpi-os.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/lesson01/rpi-os.md b/docs/lesson01/rpi-os.md index 73f08ae9..732c99ba 100644 --- a/docs/lesson01/rpi-os.md +++ b/docs/lesson01/rpi-os.md @@ -474,7 +474,7 @@ disable_commandline_tags=1 Now, as we have gone through all source code, it is time to see how it works. To build and test the kernel you need to do the following: -1. Execute `./build.sh` of `./build.bat` from [src/lesson01](https://github.com/s-matyukevich/raspberry-pi-os/tree/master/src/lesson01) in order to build the kernel. +1. Execute `./build.sh` or `./build.bat` from [src/lesson01](https://github.com/s-matyukevich/raspberry-pi-os/tree/master/src/lesson01) in order to build the kernel. 1. Copy generated `kernel7.img` file to `boot` partition of your Raspberry Pi flash card. 1. Modify `config.txt` file as was described in the previous section. 1. Connect USB to TTL serial cable as was described in the [Prerequisites](../Prerequisites.md)