thanks for your support. I managed to compile Espruino for the FEZ Cerb 40. I changed the HSE_VALUE to 12000000 and the PLL_M to 12. Strangely I get a baud rate of ~14400. I would like to commit this support upstream. Any idea how the STM32F4DISCOVERY and the FEZ CERB40 can coexist since they use the same targetlib but with different value for PLL_M which is currently not using an if not defined statement like the HSE_VALUE (maybe change this to a if not defined and override the default of 8 from the Makefile?). Looking forward to my Espruino board.
Thanks for your support