/*
 * Copyright (c) 2022 Antmicro <www.antmicro.com>
 *
 * SPDX-License-Identifier: Apache-2.0
 */

#include <zephyr/zephyr.h>
#include <zephyr/device.h>
#include <zephyr/sys/printk.h>
#include <zephyr/drivers/fpga.h>
#include <stdio.h>
#include <eoss3_dev.h>

extern uint32_t axFPGABitStream[];
extern uint32_t axFPGABitStream_length;

void main(void)
{
	const struct device *fpga = device_get_binding("fpga");

	/* load usbserial bitstream */
	fpga_load(fpga, axFPGABitStream, axFPGABitStream_length);

	/* let it enumerate */
	k_msleep(2000);

	printk("####################\n");
	printk("I am Zephyr on Qomu!\n");
	printk("####################\n");
}