uClinux for STM32F10x high-density devices