HPL/OS is already available on STMicroelectronics NUCLEO-L152RE (ARM Cortex M3), Discovery kit STM32F407 (ARM Cortex M4) and MicroPython Pyboard V1.1. You can buy these platforms directly on manufacturers on-line shops. HPL/OS available on these targets means that the OS is compiled and ready to use on these 3 hardware target profiles. We call them “stm32 M3”, “stm32 M4” and “Pyboard”. What we do is provide regular or dedicated daughter board, especially for the Pyboard.