Skip to content

Commit 0b88958

Browse files
W-M-Rxiaoxiang781216
W-M-R
authored and
xiaoxiang781216
committed
boards/qemu: Open kasan on qemu
1. Open Kasan and open Kasantest 2. Add software tag kasan configuration for arm64 Signed-off-by: wangmingrong1 <[email protected]>
1 parent b613863 commit 0b88958

File tree

6 files changed

+95
-0
lines changed

6 files changed

+95
-0
lines changed

Diff for: ‎boards/arm/qemu/qemu-armv7a/configs/nsh/defconfig

+4
Original file line numberDiff line numberDiff line change
@@ -37,6 +37,9 @@ CONFIG_HAVE_CXXINITIALIZE=y
3737
CONFIG_IDLETHREAD_STACKSIZE=4096
3838
CONFIG_INIT_ENTRYPOINT="nsh_main"
3939
CONFIG_INTELHEX_BINARY=y
40+
CONFIG_LIBC_EXECFUNCS=y
41+
CONFIG_MM_KASAN=y
42+
CONFIG_MM_KASAN_GLOBAL=y
4043
CONFIG_NSH_ARCHINIT=y
4144
CONFIG_NSH_BUILTIN_APPS=y
4245
CONFIG_NSH_FILEIOSIZE=512
@@ -60,6 +63,7 @@ CONFIG_SYMTAB_ORDEREDBYNAME=y
6063
CONFIG_SYSTEM_NSH=y
6164
CONFIG_SYSTEM_SYSTEM=y
6265
CONFIG_TESTING_GETPRIME=y
66+
CONFIG_TESTING_KASAN=y
6367
CONFIG_TESTING_OSTEST=y
6468
CONFIG_UART1_BASE=0x9000000
6569
CONFIG_UART1_IRQ=33

Diff for: ‎boards/arm/qemu/qemu-armv7a/configs/smp/defconfig

+4
Original file line numberDiff line numberDiff line change
@@ -34,6 +34,9 @@ CONFIG_HAVE_CXXINITIALIZE=y
3434
CONFIG_IDLETHREAD_STACKSIZE=4096
3535
CONFIG_INIT_ENTRYPOINT="nsh_main"
3636
CONFIG_INTELHEX_BINARY=y
37+
CONFIG_LIBC_EXECFUNCS=y
38+
CONFIG_MM_KASAN=y
39+
CONFIG_MM_KASAN_GLOBAL=y
3740
CONFIG_NSH_ARCHINIT=y
3841
CONFIG_NSH_BUILTIN_APPS=y
3942
CONFIG_NSH_FILEIOSIZE=512
@@ -58,6 +61,7 @@ CONFIG_SYMTAB_ORDEREDBYNAME=y
5861
CONFIG_SYSTEM_NSH=y
5962
CONFIG_SYSTEM_SYSTEM=y
6063
CONFIG_TESTING_GETPRIME=y
64+
CONFIG_TESTING_KASAN=y
6165
CONFIG_TESTING_OSTEST=y
6266
CONFIG_UART1_BASE=0x9000000
6367
CONFIG_UART1_IRQ=33

Diff for: ‎boards/arm64/qemu/qemu-armv8a/configs/nsh/defconfig

+4
Original file line numberDiff line numberDiff line change
@@ -39,6 +39,9 @@ CONFIG_HAVE_CXXINITIALIZE=y
3939
CONFIG_IDLETHREAD_STACKSIZE=8192
4040
CONFIG_INIT_ENTRYPOINT="nsh_main"
4141
CONFIG_INTELHEX_BINARY=y
42+
CONFIG_LIBC_EXECFUNCS=y
43+
CONFIG_MM_KASAN=y
44+
CONFIG_MM_KASAN_GLOBAL=y
4245
CONFIG_NSH_ARCHINIT=y
4346
CONFIG_NSH_BUILTIN_APPS=y
4447
CONFIG_NSH_FILEIOSIZE=512
@@ -62,6 +65,7 @@ CONFIG_SYSTEM_NSH=y
6265
CONFIG_SYSTEM_SYSTEM=y
6366
CONFIG_SYSTEM_TIME64=y
6467
CONFIG_TESTING_GETPRIME=y
68+
CONFIG_TESTING_KASAN=y
6569
CONFIG_TESTING_OSTEST=y
6670
CONFIG_UART1_BASE=0x9000000
6771
CONFIG_UART1_IRQ=33

Diff for: ‎boards/arm64/qemu/qemu-armv8a/configs/nsh_smp/defconfig

+4
Original file line numberDiff line numberDiff line change
@@ -39,6 +39,9 @@ CONFIG_FS_ROMFS=y
3939
CONFIG_IDLETHREAD_STACKSIZE=16384
4040
CONFIG_INIT_ENTRYPOINT="nsh_main"
4141
CONFIG_INTELHEX_BINARY=y
42+
CONFIG_LIBC_EXECFUNCS=y
43+
CONFIG_MM_KASAN=y
44+
CONFIG_MM_KASAN_GLOBAL=y
4245
CONFIG_NSH_ARCHINIT=y
4346
CONFIG_NSH_BUILTIN_APPS=y
4447
CONFIG_NSH_FILEIOSIZE=512
@@ -66,6 +69,7 @@ CONFIG_SYSTEM_SYSTEM=y
6669
CONFIG_SYSTEM_TASKSET=y
6770
CONFIG_SYSTEM_TIME64=y
6871
CONFIG_TESTING_GETPRIME=y
72+
CONFIG_TESTING_KASAN=y
6973
CONFIG_TESTING_OSTEST=y
7074
CONFIG_TESTING_OSTEST_STACKSIZE=16384
7175
CONFIG_TESTING_SMP=y

Diff for: ‎boards/arm64/qemu/qemu-armv8a/configs/sotest/defconfig

+4
Original file line numberDiff line numberDiff line change
@@ -47,6 +47,9 @@ CONFIG_IDLETHREAD_STACKSIZE=8192
4747
CONFIG_INIT_ENTRYPOINT="nsh_main"
4848
CONFIG_INTELHEX_BINARY=y
4949
CONFIG_LIBC_DLFCN=y
50+
CONFIG_LIBC_EXECFUNCS=y
51+
CONFIG_MM_KASAN=y
52+
CONFIG_MM_KASAN_GLOBAL=y
5053
CONFIG_MODLIB_DUMPBUFFER=y
5154
CONFIG_NSH_ARCHINIT=y
5255
CONFIG_NSH_BUILTIN_APPS=y
@@ -71,6 +74,7 @@ CONFIG_SYSTEM_NSH=y
7174
CONFIG_SYSTEM_SYSTEM=y
7275
CONFIG_SYSTEM_TIME64=y
7376
CONFIG_TESTING_GETPRIME=y
77+
CONFIG_TESTING_KASAN=y
7478
CONFIG_TESTING_OSTEST=y
7579
CONFIG_UART1_BASE=0x9000000
7680
CONFIG_UART1_IRQ=33

Diff for: ‎boards/arm64/qemu/qemu-armv8a/configs/sw_tags/defconfig

+75
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,75 @@
1+
#
2+
# This file is autogenerated: PLEASE DO NOT EDIT IT.
3+
#
4+
# You can use "make menuconfig" to make any modifications to the installed .config file.
5+
# You can then do "make savedefconfig" to generate a new defconfig file that includes your
6+
# modifications.
7+
#
8+
CONFIG_ARCH="arm64"
9+
CONFIG_ARCH_ARM64=y
10+
CONFIG_ARCH_BOARD="qemu-armv8a"
11+
CONFIG_ARCH_BOARD_QEMU_ARMV8A=y
12+
CONFIG_ARCH_CHIP="qemu"
13+
CONFIG_ARCH_CHIP_QEMU=y
14+
CONFIG_ARCH_CHIP_QEMU_A53=y
15+
CONFIG_ARCH_EARLY_PRINT=y
16+
CONFIG_ARCH_INTERRUPTSTACK=4096
17+
CONFIG_ARM64_SEMIHOSTING_HOSTFS=y
18+
CONFIG_ARM64_SEMIHOSTING_HOSTFS_CACHE_COHERENCE=y
19+
CONFIG_ARM64_STRING_FUNCTION=y
20+
CONFIG_BUILTIN=y
21+
CONFIG_DEBUG_ASSERTIONS=y
22+
CONFIG_DEBUG_FEATURES=y
23+
CONFIG_DEBUG_FULLOPT=y
24+
CONFIG_DEBUG_SCHED=y
25+
CONFIG_DEBUG_SCHED_ERROR=y
26+
CONFIG_DEBUG_SCHED_WARN=y
27+
CONFIG_DEBUG_SYMBOLS=y
28+
CONFIG_DEFAULT_TASK_STACKSIZE=8192
29+
CONFIG_DEVICE_TREE=y
30+
CONFIG_DEV_ZERO=y
31+
CONFIG_EXAMPLES_HELLO=y
32+
CONFIG_EXPERIMENTAL=y
33+
CONFIG_FS_HOSTFS=y
34+
CONFIG_FS_PROCFS=y
35+
CONFIG_FS_PROCFS_REGISTER=y
36+
CONFIG_FS_ROMFS=y
37+
CONFIG_HAVE_CXX=y
38+
CONFIG_HAVE_CXXINITIALIZE=y
39+
CONFIG_IDLETHREAD_STACKSIZE=8192
40+
CONFIG_INIT_ENTRYPOINT="nsh_main"
41+
CONFIG_INTELHEX_BINARY=y
42+
CONFIG_LIBC_EXECFUNCS=y
43+
CONFIG_MM_KASAN=y
44+
CONFIG_MM_KASAN_SW_TAGS=y
45+
CONFIG_NSH_ARCHINIT=y
46+
CONFIG_NSH_BUILTIN_APPS=y
47+
CONFIG_NSH_FILEIOSIZE=512
48+
CONFIG_NSH_READLINE=y
49+
CONFIG_PREALLOC_TIMERS=4
50+
CONFIG_PTHREAD_STACK_MIN=8192
51+
CONFIG_RAMLOG=y
52+
CONFIG_RAM_SIZE=134217728
53+
CONFIG_RAM_START=0x40000000
54+
CONFIG_RAW_BINARY=y
55+
CONFIG_READLINE_CMD_HISTORY=y
56+
CONFIG_RR_INTERVAL=200
57+
CONFIG_SCHED_HPWORK=y
58+
CONFIG_SCHED_HPWORKPRIORITY=192
59+
CONFIG_SPINLOCK=y
60+
CONFIG_STACK_COLORATION=y
61+
CONFIG_START_MONTH=3
62+
CONFIG_START_YEAR=2022
63+
CONFIG_SYMTAB_ORDEREDBYNAME=y
64+
CONFIG_SYSTEM_NSH=y
65+
CONFIG_SYSTEM_SYSTEM=y
66+
CONFIG_SYSTEM_TIME64=y
67+
CONFIG_TESTING_GETPRIME=y
68+
CONFIG_TESTING_KASAN=y
69+
CONFIG_TESTING_OSTEST=y
70+
CONFIG_UART1_BASE=0x9000000
71+
CONFIG_UART1_IRQ=33
72+
CONFIG_UART1_PL011=y
73+
CONFIG_UART1_SERIAL_CONSOLE=y
74+
CONFIG_UART_PL011=y
75+
CONFIG_USEC_PER_TICK=1000

0 commit comments

Comments
 (0)