<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">On 28/11/2012 8:21 AM, Steven Grunza
wrote:<br>
</div>
<blockquote
cite="mid:6A40B310D7EFC840A22CBF165D914E29029D6AFE@WCEXCH3.ctdi.com"
type="cite">
<blockquote type="cite">
<pre wrap="">
The FAQs for the RaspberryPI include the following:
What hardware documentation will be available?
Broadcom don't release a full datasheet for the BCM2835, which is the chip at the heart of the Raspberry Pi. We will release a datasheet for the SoC which will cover the hardware exposed on the Raspi board e.g. the GPIOs. We will also release a board schematic later on.
But I want documentation for <hardware X>!
Other documentation may be released in future but this will be at the Foundation's discretion.
But I demand the documentation for the chip. Give it to me!
To get the full SoC documentation you would need to sign an NDA with Broadcom, who make the chip and sell it to us. But you would also need to provide a business model and estimate of how many chips you are going to sell.
What operating system (OS) does it use?
We recommend Debian as our default distribution. It's straightforward to replace the root partition on the SD card with another ARM Linux distro if you want to use something else (there are several available on our downloads page). The OS is stored on the SD card.
My $0.02 USD:
It's an ARM11-based device but getting the details required to port RTEMS may not be easy. You might need to reverse engineer from the Debian distro provided.
_______________________________________________
rtems-users mailing list
<a class="moz-txt-link-abbreviated" href="mailto:rtems-users@rtems.org">rtems-users@rtems.org</a>
<a class="moz-txt-link-freetext" href="http://www.rtems.org/mailman/listinfo/rtems-users">http://www.rtems.org/mailman/listinfo/rtems-users</a>
</pre>
</blockquote>
</blockquote>
<br>
I had a look here and it says that source code is available <br>
<a class="moz-txt-link-freetext" href="http://elinux.org/Rpi_kernel_compilation">http://elinux.org/Rpi_kernel_compilation</a><br>
<br>
<blockquote>The kernel source should be downloaded from the <a
rel="nofollow" class="external text"
href="https://github.com/raspberrypi/linux">RPI linux section on
GitHub</a>. Although you could just compile the vanilla kernel
from <a rel="nofollow" class="external text"
href="http://www.kernel.org/">Kernel.org</a>, it will not have
the necessary drivers and modules for the Broadcom SoC on the RPi.
You can however apply patches from the vanilla kernel to the RPi
one - be prepared for potential compiler grumbles though!
<br>
</blockquote>
<br>
That indicates to me that the first link does include the driver
source and the vanilla one does not<br>
<br>
For me, a $25 board that could run RTEMS would be fantastic. <br>
</body>
</html>