diff --git a/platform/generic/Kconfig b/platform/generic/Kconfig index c76bd125..63d1be40 100644 --- a/platform/generic/Kconfig +++ b/platform/generic/Kconfig @@ -9,6 +9,20 @@ config PLATFORM_GENERIC if PLATFORM_GENERIC +config PLATFORM_GENERIC_NAME + string "Platform default name" + default "Generic" + +config PLATFORM_GENERIC_MAJOR_VER + int "Platform major version" + range 0 65535 + default 0 + +config PLATFORM_GENERIC_MINOR_VER + int "Platform minor version" + range 0 65535 + default 1 + config PLATFORM_ALLWINNER_D1 bool "Allwinner D1 support" depends on FDT_IRQCHIP_PLIC diff --git a/platform/generic/platform.c b/platform/generic/platform.c index bf93af6b..cc3620f1 100644 --- a/platform/generic/platform.c +++ b/platform/generic/platform.c @@ -265,8 +265,10 @@ const struct sbi_platform_operations platform_ops = { struct sbi_platform platform = { .opensbi_version = OPENSBI_VERSION, - .platform_version = SBI_PLATFORM_VERSION(0x0, 0x01), - .name = "Generic", + .platform_version = + SBI_PLATFORM_VERSION(CONFIG_PLATFORM_GENERIC_MAJOR_VER, + CONFIG_PLATFORM_GENERIC_MINOR_VER), + .name = CONFIG_PLATFORM_GENERIC_NAME, .features = SBI_PLATFORM_DEFAULT_FEATURES, .hart_count = SBI_HARTMASK_MAX_BITS, .hart_index2id = generic_hart_index2id,