Martin Kojtal

> Playing with the command line options I could not create FPv4-SP in the info {FPU} but using --fpu option I was able to see VFPv4_D16 This would be the...

@boraozgen https://github.com/ARMmbed/mbed-tools/pull/270 - this does not fix the issue? If not, what we are missing? Can you describe what is blocking your project?

> "requires": ["bare-metal"], the problem is cli1 uses requires. mbed-tools do not read this at all. You need to link to baremetal CMake target rather. The error is quite cryptic...

https://github.com/ARMmbed/mbed-os-example-blinky/blob/master/CMakeLists.txt#L25 - instead of mbed-os, use mbed-baremetal CMake target

> According to discussion in ARMmbed/mbed-os#13981, it seems like upstream mbed has gone a different direction and it looks like the feature-cmake-object-libraries is not going to be merged into mainline....

@geky is this repository still active as we have different at parser in Mbed OS?

> It seems that this behavior is baked into milksnake's setuptools extension: https://github.com/getsentry/milksnake/blob/master/milksnake/setuptools_ext.py#L217-L218. Perhaps I should report an issue on their bug tracker and/or submit a PR to fix this...

I assume this is related to https://github.com/ARMmbed/mbed-os/issues/14446 (regarding CMAKE__COMPILER set up. We hardcoded it and it should be fixed as CMake provides a way to configure it.

Isn't this valid error in the config : `Setting fat_chan.ffs_dbg already defined. You cannot duplicate config settings!` ? Are there two duplicated settings in Mbed OS ? I haven't seen...

Can you send the PR updating the version?