This patch-level release adds mini, mini_swdcom, and for the STM32F407, due to the limitations imposed by its flash controller, mini_no_corner and mini_swdcom_no_corner (which include no cornerstone) binaries which do not include the fixed-point numerics, heap allocator, disassembler, and scheduler support included in the full and full_swdcom binaries.