Set Hart count to 20

This commit is contained in:
Rodrigo Arias 2024-05-08 16:44:28 +02:00
parent 0a771f0ccd
commit c4676535ec
2 changed files with 20 additions and 0 deletions

View File

@ -57,6 +57,12 @@
serviceConfig.Restart = "always"; serviceConfig.Restart = "always";
}; };
# Disable hvc0 as it is racing for the same console
systemd.services."serial-getty@hvc0" = {
enable = lib.mkForce false;
wantedBy = lib.mkForce [ ];
};
sdImage = { sdImage = {
# The image will be loaded as-is in memory, so no compression # The image will be loaded as-is in memory, so no compression
compressImage = false; compressImage = false;
@ -120,6 +126,7 @@
"PLATFORM=fpga/openpiton" "PLATFORM=fpga/openpiton"
"FW_PAYLOAD_PATH=${final.uboot}/u-boot-nodtb.bin" "FW_PAYLOAD_PATH=${final.uboot}/u-boot-nodtb.bin"
]; ];
patches = [ ./opensbi-lagarto-hun.patch ];
}); });
}) ]; }) ];
} }

13
opensbi-lagarto-hun.patch Normal file
View File

@ -0,0 +1,13 @@
--- a/platform/fpga/openpiton/platform.c 2024-03-12 16:27:13.886525365 +0100
+++ b/platform/fpga/openpiton/platform.c 2024-03-12 16:28:40.598403778 +0100
@@ -26,8 +26,8 @@
#define OPENPITON_DEFAULT_PLIC_ADDR 0xfff1100000
#define OPENPITON_DEFAULT_PLIC_SIZE (0x200000 + \
(OPENPITON_DEFAULT_HART_COUNT * 0x1000))
-#define OPENPITON_DEFAULT_PLIC_NUM_SOURCES 2
-#define OPENPITON_DEFAULT_HART_COUNT 3
+#define OPENPITON_DEFAULT_PLIC_NUM_SOURCES 3
+#define OPENPITON_DEFAULT_HART_COUNT 20
#define OPENPITON_DEFAULT_CLINT_ADDR 0xfff1020000
#define OPENPITON_DEFAULT_ACLINT_MTIMER_FREQ 1000000
#define OPENPITON_DEFAULT_ACLINT_MSWI_ADDR \