From 7318934bd06cdc9a6589decd93720bc9e33a4701 Mon Sep 17 00:00:00 2001 From: Krishnan Winter Date: Tue, 20 Aug 2024 17:06:36 +1000 Subject: [PATCH] kitty: update board name in build Signed-off-by: Krishnan Winter --- content/docs/examples/kitty/building.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/content/docs/examples/kitty/building.md b/content/docs/examples/kitty/building.md index 6bd5470..19f68b8 100644 --- a/content/docs/examples/kitty/building.md +++ b/content/docs/examples/kitty/building.md @@ -143,6 +143,7 @@ export NFS_SERVER=0.0.0.0 # NFS directory to mount export NFS_DIRECTORY=/path/to/dir export MICROKIT_SDK=/path/to/sdk +export MICROKIT_BOARD=odroidc4 # Initialise submodules make submodules # Compile the system @@ -157,7 +158,7 @@ export NFS_SERVER=0.0.0.0 # NFS directory to mount export NFS_DIRECTORY=/path/to/dir export MICROKIT_SDK=/path/to/sdk -export MICROKIT_BOARD=qemu_arm_virt +export MICROKIT_BOARD=qemu_virt_aarch64 # Initialise submodules (this will require an internet connection) make submodules # Compile the system