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