/* | |
* Copyright (c) 2017 Intel Corporation | |
* | |
* SPDX-License-Identifier: Apache-2.0 | |
*/ | |
#include <ztest.h> | |
extern void test_boot_page_table(void); | |
void test_main(void) | |
{ | |
ztest_test_suite(boot_page_table_validate, | |
ztest_unit_test(test_boot_page_table)); | |
ztest_run_test_suite(boot_page_table_validate); | |
} |