1#
2# Copyright 2016, Data61
3# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4# ABN 41 687 119 230.
5#
6# This software may be distributed and modified according to the terms of
7# the BSD 2-Clause license. Note that NO WARRANTY is provided.
8# See "LICENSE_BSD2.txt" for details.
9#
10# @TAG(D61_BSD)
11#
12
13config APP_TEST_USER
14    bool "RefOS User Level Unit Tests"
15    default y
16    depends on LIB_SEL4 && HAVE_LIBC && LIB_REFOS_SYS
17    select HAVE_SEL4_APPS
18    help
19        Tests that test the bootstrapped RefOS userland environment is sane and usable.
20        Tests include dynamic malloc() using both heap expansion and mmap, threads,
21        IPC os_server printing, and so forth.
22