Arduino is, of course, open source and proudly hosts not only the source code but the design files for all their boards.
Raspberry Pi is made by a not-for-profit organization, but although I found images of the PCB layout, I haven't found files.
We want to build a board based on the Raspberry Pi. It would obviously save a lot of work if we had the design files for the Pi, and could just remove any hardware we don't want and add the extra hardware we do want. Is the Pi Open source? If so, can anyone point me to the project?