cfg/mips64.cfg


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

# SPDX-License-Identifier: MIT
CONFIG_CPU_BIG_ENDIAN=y
CONFIG_CPU_MIPS64_R2=y

CONFIG_64BIT=y

#
# Default to support o32 and n32 userspace binaries
#
CONFIG_MIPS32_COMPAT=y
CONFIG_MIPS32_O32=y
CONFIG_MIPS32_N32=y

#
# The kernel panics on boot with an unhandled page fault if we
# configure the VGA_CONSOLE in.
#
CONFIG_VGA_CONSOLE=n