Running on STM targets

Running on Actual Hardware

Pre-defined targets

Pre-defined configuration files exist for most popular evaluation board. If your board has a corresponding kernel configuration file under defconfig/, you can import it to the current configuration. E.g. to configure frosted for a STM32F407 Discovery evaluation board, type:

make defconfig TARGET=stm32f407-discovery

Kernel Configuration

• Verify that you have the correct settings for your hardware in the Platform selection section:

• Architecture
• MCU
• Clock speed
• Board (if applicable)

• Customize the Device Drivers section. E.g. in order to enable UART1, you will need to select it under Subsystems > Devices > Generic UART driver > UART 1

System Configuration

You should also select the userland programs to build. In order to do so, enter the frosted-userland directory and run make menuconfig there as well. Afterwards, go up one directory to the frosted root again and run make.

Build images

The binaries produced by the build are:

• kernel.elf : kernel executable in ELF format
• kernel.img : kernel executable in BIN format (to be placed at the beginning of the flash)
• apps.img : userspace XIPFS filesystem image generated by frosted-userland

The two images are concatenated into a single file: image.bin

Flashing to target

Flashing mechanism may differ depending on boards/brands.

• If the board supports st-link:

• Connect the st-link port of your board to USB

• Run st-flash write image.bin 0x08000000

• For a board with MBED bootloader:

• Connect the DBG port to the USB

• A storage device should appear

• copy the image.bin file to the USB storage

• Using dfu: (TODO)