From 21698907ba4e32b3a6ed755db80ecb86578312f6 Mon Sep 17 00:00:00 2001 From: PixieDust Date: Mon, 30 Dec 2024 07:49:09 +0000 Subject: [PATCH] Add some links Just a suggestion to add some urls to where these files can be found. Are these standard files? Please feel free to reject or accept the changes. --- doc.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc.txt b/doc.txt index 411150f..6cbacca 100644 --- a/doc.txt +++ b/doc.txt @@ -1,8 +1,8 @@ # How to make a simple unikernel on RBPi File required on Raspberry Pi 5: -- bcm2712-rpi-5-b.dtb -- overlays/bcm2712d0.dtdo +- bcm2712-rpi-5-b.dtb (https://github.com/raspberrypi/firmware/blob/master/boot/bcm2712-rpi-5-b.dtb) +- overlays/bcm2712d0.dtbo (https://github.com/raspberrypi/firmware/blob/master/boot/overlays/bcm2712d0.dtbo) - config.txt CPU used by Raspberry Pi 5: Cortex-A76