f9micro / f9-kernel

An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

support qemu or not ?

jeffrey67 opened this issue · comments

I am newbie in f9-kernel. Does f9-kernel support qemu or not? if support, is there any guide how to use.
I found the QEMU_DIR in Makefile, but i can not found the dir.

@jeffrey67, You can check file .travis.yml, which contains the procedure to build F9 microkernel for stm32-p103/QEMU and verify.

@jserv please teach me how to debug #127 thanks a lot!