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