Here is a list of all files with brief descriptions:

[detail level 12]

▼ kubos-hal-stm32f4
pins.h
stm32f4_gpio.h
▼ source
gpio.c
stubs.c
syscalls.c
uart.c