// SPDX-License-Identifier: GPL-2.0-only
/*
 * Test the framework itself. These tests confirm that setup works.
 *
 * Copyright (C) 2023, Ventana Micro Systems Inc., Andrew Jones <ajones@ventanamicro.com>
 */
#include <libcflat.h>

int main(void)
{
	puts("Hello, world\n");
	return 0;
}