diff options
| author | Kyle Evans | 2020-02-26 15:37:13 -0600 |
|---|---|---|
| committer | Matthias Brugger | 2020-05-13 14:04:49 +0200 |
| commit | c6badda85c6f29904aa8f55c508921d38b93cc60 (patch) | |
| tree | ee3b716a9caa6d2240641ed27e17c5ae1d569d5f /arch | |
| parent | cdabf301db84de7717340b391c97b762890469cd (diff) | |
rpi: Kconfig option for initial page reservation
While the nearly-universal default for the Raspberry Pi family is to use
spin tables and the spin table implementation provided by the Raspberry Pi
Foundation, FreeBSD and others may use a PSCI implementation instead.
Accommodate these setups by allowing them to configure for more than one
page to be reserved in the initial reservation. The default reservation
remains as one page.
Signed-off-by: Kyle Evans <kevans@FreeBSD.org>
Signed-off-by: Matthias Brugger <mbrugger@suse.com>
Diffstat (limited to 'arch')
| -rw-r--r-- | arch/arm/mach-bcm283x/Kconfig | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/arch/arm/mach-bcm283x/Kconfig b/arch/arm/mach-bcm283x/Kconfig index 00419bf2549..e6eb904e7f9 100644 --- a/arch/arm/mach-bcm283x/Kconfig +++ b/arch/arm/mach-bcm283x/Kconfig @@ -209,4 +209,6 @@ config SYS_SOC config SYS_CONFIG_NAME default "rpi" +source "board/raspberrypi/rpi/Kconfig" + endmenu |