From ca3117be6ee9c678ad23fa1a1191880eae0722fb Mon Sep 17 00:00:00 2001 From: visa Date: Wed, 11 Jan 2023 03:28:42 +0000 Subject: [PATCH] Use 64-bit page table entries on octeon This (over-)compensates for the frame bit reduction related to the TLB read inhibit support. However, the memory overhead of page tables is increased. OK miod@ --- sys/arch/octeon/conf/BOOT | 3 ++- sys/arch/octeon/conf/GENERIC | 3 ++- sys/arch/octeon/conf/RAMDISK | 3 ++- 3 files changed, 6 insertions(+), 3 deletions(-) diff --git a/sys/arch/octeon/conf/BOOT b/sys/arch/octeon/conf/BOOT index feed3bc46c4..9147b019436 100644 --- a/sys/arch/octeon/conf/BOOT +++ b/sys/arch/octeon/conf/BOOT @@ -1,4 +1,4 @@ -# $OpenBSD: BOOT,v 1.12 2022/08/25 16:10:15 miod Exp $ +# $OpenBSD: BOOT,v 1.13 2023/01/11 03:28:42 visa Exp $ machine octeon mips64 maxusers 4 @@ -18,6 +18,7 @@ option FFS2 option CPU_MIPS64R2 option CPU_OCTEON option FPUEMUL +option MIPS_PTE64 makeoption LINK_ADDRESS="0xffffffff82000000" config bsd root on rd0a swap on rd0b diff --git a/sys/arch/octeon/conf/GENERIC b/sys/arch/octeon/conf/GENERIC index 279fd6dd883..e8cf89aa7a0 100644 --- a/sys/arch/octeon/conf/GENERIC +++ b/sys/arch/octeon/conf/GENERIC @@ -1,4 +1,4 @@ -# $OpenBSD: GENERIC,v 1.60 2021/08/21 14:46:25 deraadt Exp $ +# $OpenBSD: GENERIC,v 1.61 2023/01/11 03:28:42 visa Exp $ # # For further information on compiling OpenBSD kernels, see the config(8) # man page. @@ -16,6 +16,7 @@ maxusers 32 option CPU_MIPS64R2 option CPU_OCTEON option FPUEMUL +option MIPS_PTE64 makeoption LINK_ADDRESS="0xffffffff81000000" option PCIVERBOSE diff --git a/sys/arch/octeon/conf/RAMDISK b/sys/arch/octeon/conf/RAMDISK index bdee0bb2bb4..eb39b5fa2da 100644 --- a/sys/arch/octeon/conf/RAMDISK +++ b/sys/arch/octeon/conf/RAMDISK @@ -1,4 +1,4 @@ -# $OpenBSD: RAMDISK,v 1.46 2019/11/04 14:58:40 visa Exp $ +# $OpenBSD: RAMDISK,v 1.47 2023/01/11 03:28:42 visa Exp $ machine octeon mips64 maxusers 4 @@ -25,6 +25,7 @@ option INET6 option CPU_MIPS64R2 option CPU_OCTEON option FPUEMUL +option MIPS_PTE64 makeoption LINK_ADDRESS="0xffffffff81000000" config bsd root on rd0a swap on rd0b -- 2.20.1