1 // SPDX-License-Identifier: GPL-2.0-only 2 /* 3 * Test the framework itself. These tests confirm that setup works. 4 * 5 * Copyright (C) 2023, Ventana Micro Systems Inc., Andrew Jones <ajones@ventanamicro.com> 6 */ 7 #include <libcflat.h> 8 9 int main(void) 10 { 11 puts("Hello, world\n"); 12 return 0; 13 } 14