#
# 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)
#

menuconfig LIB_SEL4_MUSLC_SYS
    bool "libsel4muslcsys"
    default y
    depends on HAVE_LIB_SEL4 && HAVE_LIBC && HAVE_LIB_SEL4_UTILS && \
               HAVE_LIB_SEL4_VSPACE && HAVE_LIB_CPIO
    select HAVE_LIB_SEL4_MUSLC_SYS
    help
        Minimal muslc syscall implementation for seL4.

config LIB_SEL4_MUSLC_SYS_MORECORE_BYTES
    int "Malloc limit"
    default 1048576
    depends on LIB_SEL4_MUSLC_SYS
    help
        This value sets the number of bytes reserved for the region malloc
        allocates from. Note that you won't actually be able to allocate this
        entire amount because there is some bookkeeping overhead. This area is
        allocated statically.

config LIB_SEL4_MUSLC_SYS_DEBUG_HALT
    bool "Perform seL4_DebugHalt on _exit and _abort"
    default true
    depends on LIB_SEL4_MUSLC_SYS
    help
        Controls whether or not a DebugHalt should be called to implement Exit
        style syscalls. This is useful if you have a single app and thread, but
        should be turned off if using multiple threads that may wish to exit
        independently of the whole system

config LIB_SEL4_MUSLC_SYS_CPIO_FS
    bool "Implementation of a simple file system using CPIO archives"
    default false
    depends on LIB_SEL4_MUSLC_SYS
    help
        If this is enabled open and read syscalls will attempt to use the cpio archive
        _cpio_archive. This implements a basic read only POSIX interface to that file system

config LIB_SEL4_MUSLC_SYS_ARCH_PUTCHAR_WEAK
    bool "Make __arch_putchar a weak symbol"
    default n
    depends on LIB_SEL4_MUSLC_SYS
    help
        This allows you to override __arch_putchar in another library or your
	application.

config HAVE_LIB_SEL4_MUSLC_SYS
    bool