Is the mbed LPC1768 development board (Sparkfun product number DEV-09564) as open sourced as possible? That is, are the design files such as Eagle layouts freely available? I also want to be sure there is no closed source bootloader code or other closed source firmware? The product page link provided here https://www.sparkfun.com/products/9564 come up not found.
Thanks a lot