1 /*
2  * Copyright (c) 2022 Antmicro <www.antmicro.com>
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #include <zephyr/zephyr.h>
8 #include <zephyr/device.h>
9 #include <zephyr/sys/printk.h>
10 #include <zephyr/drivers/fpga.h>
11 #include <stdio.h>
12 #include <eoss3_dev.h>
13 
14 extern uint32_t axFPGABitStream[];
15 extern uint32_t axFPGABitStream_length;
16 
main(void)17 int main(void)
18 {
19 	const struct device *fpga = device_get_binding("fpga");
20 
21 	/* load usbserial bitstream */
22 	fpga_load(fpga, axFPGABitStream, axFPGABitStream_length);
23 
24 	/* let it enumerate */
25 	k_msleep(2000);
26 
27 	printk("####################\n");
28 	printk("I am Zephyr on Qomu!\n");
29 	printk("####################\n");
30 	return 0;
31 }
32