Cannot compile the stm32f407-discovery demo program on linux toochain?
All you need to do is just update libnewlib
bbcmicrobit/micropython#514 (comment)
wget http://course.cse.ust.hk/comp3511/project/project2/os2018fall_nachos_proj2.tar.gz --http-user=username --http-password=pa$$w0rd