The RPi project has its own version of Debian, as far as I remember. However the BCM2835 kernel patches should be upstream, meaning that any distribution should basically work. There's a lot of community-based software work around the RPi, but most of it is not strictly limited to RPi, ... it's just that all the scripts, binary releases, bootloader config, ..., somehow expect the RPi hardware to some extent. It would really depend on how much you want to strip it down.I wonder how the RPi hardware differs from the Broadcom Application note for the IC?
TBH there really is very little to designing-in the Broadcom ARM MCU - the MDAC2 digital section with its FPGA & DSP engine is a far more complex "design". Our design criteria would be somewhat different then RPi's aim of an "Universal" cheap computer...
Really, from a hardware perspective the RPi is incredibly simple - we only need to insure that software compiled for the RPi would operate on the MDAC2 - we would not aim to make an exact RPi hardware - in fact we would not want to anyway as the idea is for a product optimised design - no need for the RPi expansion port etc.
As I say, it would boil down to how "customised" the RPi hardware is from the Broadcom BCM2835 ARM processor application note for the IC - Does RPi provide there own software / Bios or is it purely the Broadcom IC?
Please note that RPi is not just BCM2835, it includes additional memory (Samsung), USB hub (model B), external ethernet controller connected to the USB hub (ugly, I know, but BCM2835 doesn't have one), etc.
Seems unlikely to me, BCM2835 is basically a "multimedia" GPU, designed *mainly* for video decoding (and therefore has a quite weak CPU part). Unless SBT was designed for 1080p video playback, I doubt anyone would use it there.Did not the SBT use the same Broadcom IC (or atleast a device in the same family)?
The RPi authors used it because their main developer works for Broadcom, so they got a discount.
edit: As for the bootloader, the GPU firmware is distributed in a binary form, http://elinux.org/RPi_Software#Overview. Meaning that for maximum compatibility with the RPi, you would probably need to use BCM2835 or a very close model (no idea how compatible the firmware is).