A few weeks ago distortos project - advanced real-time operating system - got its own website, which is available at http://distortos.org/. For now it contains only a few short news articles, a few useful links and source code documentation generated with doxygen tool, but the amount of useful content will constantly increase.

On the other hand, complete support for all 115 chips from the STM32F4 family was added to the Kconfig configuration system and to the source code of the project. Two more example configurations for popular boards with STM32F4 chips were also added, so there are now three tested, ready to run configurations:

• classic STM32F4DISCOVERY board with STM32F407VG chip (168MHz max),
• 32F429IDISCOVERY board (also known as STM32F429-DISCO) with STM32F429ZI chip (180MHz max),
• small and very cheap NUCLEO-F401RE board with STM32F401RE chip (84MHz max).

All these configurations run the test application at the max possible system clock frequency. Whole configuration of the clock system frequency and some details from the power system is done with the Kconfig configuration tool, presented on the screenshots below.

Kconfig, STM32F4

Kconfig, STM32F4

Kconfig, STM32F4

The correctness of the selected configuration is verified partly in the Kconfig tool and partly in the source code, using only compile-time methods (static_assert(…) or preprocessor).