diff options
Diffstat (limited to 'lib/sbi/Kconfig')
| -rw-r--r-- | lib/sbi/Kconfig | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/lib/sbi/Kconfig b/lib/sbi/Kconfig index e76aecca..24132eaa 100644 --- a/lib/sbi/Kconfig +++ b/lib/sbi/Kconfig @@ -2,6 +2,15 @@ menu "Generic SBI Support" +config HARTMASK_MAX_BITS + int "Maximum number of hart mask bits (32-512)" + range 32 512 + default 256 + help + The hartmask is indexed using physical hart IDs so this setting + also represents the maximum number of hart IDs generic OpenSBI + can handle. + config DEFAULT_HART_STACK_SIZE int "Default per-HART stack size (bytes)" range 8192 1048576 |