Hi, I looked in the ports database and saw your arm-elf-gcc port. The version is very old and therefore I decided to build it myself. Perhaps it is an idea to update the port to use gcc version 4.2 ? Best regards, Ewout Boks