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_OS 14 bool "RefOS OS Level Unit Tests" 15 default y 16 depends on LIB_SEL4 && HAVE_LIBC && LIB_REFOS 17 help 18 OS Level Unit tests for RefOS. These tests test that the bottom level RefOS environment 19 is working. If this test fails, then bootloading is likely to fail, and userland tests 20 may fail to even boot at all. 21