-
Notifications
You must be signed in to change notification settings - Fork 23
/
Kconfig
23 lines (21 loc) · 925 Bytes
/
Kconfig
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
#
# Copyright 2016, Data61, CSIRO (ABN 41 687 119 230)
#
# SPDX-License-Identifier: BSD-2-Clause
#
menuconfig LIB_REFOS_SYS
bool "Syscall library for RefOS userland"
default y
depends on LIB_SEL4 && LIB_REFOS && HAVE_LIBC
help
Syscall library for RefOS userland. This library is responsible for implementing simple
POSIX environment syscalls on top of RefOS primitives. This allows for the C standard
library to work and be happy, and also allows for easier porting.
config REFOS_SYS_FORCE_DEBUGPUTCHAR
bool "Force seL4_DebugPutChar printf"
default n
depends on LIB_REFOS_SYS
help
Force RefOS userland to use seL4_DebugPutChar(), even when not needed. If this option is not
set, IPC messages will be sent to the Console server. This allows a few more messages to
print during initialisation, useful for debugging. Requires seL4 debug kernel.