f9micro / f9-kernel

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

Port to stm32-p103 for qemu simulation #92

Closed konyavic closed 10 years ago

konyavic commented 10 years ago

It has been tested on qemu only, so we need someone to test it on a real board. Though I have split board- and platform- specific files for sanity, there is not much difference between p103 and discoveryf4. I've modified necessary parts only, and found that most of the code remains duplicate, so I think the hierarchy should be considered again. Maybe it's better to have stm32f4x and stm32f10x merged as one single target.

Btw, I found it works without changing compile option from -mcpu=cortex-m4 to -mcpu=cortex-m3.

Build Instructions

<path_qemu_stm32>/arm-softmmu/qemu-system-arm -M stm32-p103 -kernel <path_f9>/build/p103/f9.bin -serial stdio
muojp commented 10 years ago

:+1:

jserv commented 10 years ago

After the effort of enabling QEMU-friendly porting for F9 microkernel, it is straightforward to introduce automated tests accordingly. Thus, Travis CI scripts can be improved as well.

Reference: https://code.google.com/p/chromium/wiki/LinuxChromiumArm

jserv commented 10 years ago

Related: #94 (board support package for STM32F429i Discovery)

jserv commented 10 years ago

Drop this pull request in favor of #97