f9micro / f9-kernel

An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
Other
683 stars 145 forks source link

support qemu or not ? #152

Closed jeffrey67 closed 7 years ago

jeffrey67 commented 7 years ago

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.

jserv commented 7 years ago

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

xiangzhai commented 7 years ago

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