a3e60fd025
Refactors syscalls to use common base functions for assembly stubs. As a result of this refactor the problem of low optimization levels breaking the syscall stubs is also resolved.
31 lines
803 B
Text
31 lines
803 B
Text
#
|
|
# Copyright 2014, NICTA
|
|
#
|
|
# This software may be distributed and modified according to the terms of
|
|
# the BSD 2-Clause license. Note that NO WARRANTY is provided.
|
|
# See "LICENSE_BSD2.txt" for details.
|
|
#
|
|
# @TAG(NICTA_BSD)
|
|
#
|
|
|
|
menu "libsel4"
|
|
config LIB_SEL4
|
|
bool "libsel4"
|
|
default y
|
|
select HAVE_LIB_SEL4
|
|
help
|
|
seL4 API library
|
|
|
|
config LIB_SEL4_INLINE_INVOCATIONS
|
|
bool "Inline generated syscall invocations"
|
|
depends on LIB_SEL4
|
|
default y
|
|
help
|
|
When set to true will mark generated functions as 'inline', allowing
|
|
them to be inlined by the callee user code. This may be undesirable
|
|
for verification, so setting to 'n' will forcively prevent the function
|
|
from being inlined
|
|
|
|
config HAVE_LIB_SEL4
|
|
bool
|
|
endmenu
|