This CMSIS only include header files without any drivers to provide HAL for mini-arm-os.

These files comes from mbed repository.

And the "STM32F429" dir is here

When you would like to try mini-arm-os.

• (vendor name) + (your device name)
  • Ex:STM32 + f429disco = STM32f429disco

See the README in mini-arm-os