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