kitty: update board name in build

Signed-off-by: Krishnan Winter <krishnanwinter1@gmail.com>
au-ts · Aug 20, 2024 · 7318934 · 7318934
1 parent cbc013d
commit 7318934
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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