search

f9micro / f9-kernel

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

Added stm32l476 support, trivial source code cleanup #147

Closed Kochise closed 7 years ago

Kochise commented 7 years ago

Source code cleanup made for static analyzers

louisom commented 7 years ago

@Kochise Thanks for the porting to stm32L476, but it seems broke the build of the exists board on CI and locals (which I build on my computer and raise the error, too).

Could you help to check the build error, and fix it? Thanks.

Kochise commented 7 years ago

Will check https://travis-ci.org/f9micro/f9-kernel/builds/217574958 this week-end and provide a makeit script for the corrected source.

louisom commented 7 years ago

@Kochise you can found it at travis-ci here.

I'm not sure why kernel/ipc.c is affect by your code, but three of the exists board all were failed.

Kochise commented 7 years ago

ipc.c, line 251, remove the badly formatted line :

        dbg_printf(DL_IPC,

dbg_printf(DL_IPC, "IPC: %t thread start\n", to_tid);

Kochise commented 7 years ago

Also forgot to modify original build scripts to include the new board/platform, sorry, will commit that asap.

Kochise commented 7 years ago

Hmmm, perhaps I should install a Linux VM with Travis to test my builds against regular toolchains before committing :/

Kochise commented 7 years ago

OK, got it to compile, now I have to revert my commits back to origin and recommit them in two batches, one for the stm32l476 support, one for the kernel code 'beautification'.