1 /*
2  * Copyright (C) 2020-2022 Intel Corporation.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #include <types.h>
8 #include <hv_prebuild.h>
9 
main(void)10 int32_t main(void)
11 {
12 	int32_t ret = 0;
13 
14 	if (!sanitize_vm_config()) {
15 		printf("VM configuration check fail!\n");
16 		ret = -1;
17 	} else {
18 		printf("VM configuration check pass!\n");
19 		ret = 0;
20 	}
21 	return ret;
22 }
23