three types of supported platforms and for emulation/virtualization using Quick
EMUlator (QEMU) or VirtualBox:
-* [x86 (Emulation and Hardware)](./5_1_x86_Emulation_and_Hardware.md)
-* [Raspberry Pi 4](./5_2_Raspberry_Pi_4.md)
-* [R Car Gen 3](./5_3_RCar_Gen_3.md)
-* [virtio](./5_4_Virtio.md)
+* [x86 (Emulation and Hardware)](./07_Building_for_x86_(Emulation_and_Hardware).md)
+* [Raspberry Pi 4](./08_Building_for_Raspberry_Pi_4.md)
+* [R Car Gen 3](./09_Building_for_Supported_Renesas_Boards.md)
+* [Virtio](./10_Building_for_Virtio.md)