I  just read a book you can probably find cheap online, i think it was called Embedded Linux Primer. The book lays it out for you, with kernel source code, explanations of how to set up a crossdev toolchain, and a whole bunch of other goodies. plus, the amount you learn about the kernel is impressive. as always, the computer book stops short of the really valuable stuff, and doesn't answer all your new questions, but it gets you thinking. the chapter on the bootloader and boostrap loader was really good too.<br>
<br>cheers.<br>justin<br><br><div class="gmail_quote">On Fri, May 22, 2009 at 5:50 AM, Jason Dusek <span dir="ltr"><<a href="mailto:jason.dusek@gmail.com">jason.dusek@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
  I'd like to put together a discussion group for functional<br>
  programming in embedded systems.<br>
<br>
  A good example of projects in this vein is Atom, for Haskell;<br>
  many other presentations present the same basic idea. It's<br>
  something like this:<br>
<br>
 .  The system is broken in to little pieces, each of which is<br>
    associated with some C that will be run on the embedded<br>
    system.<br>
<br>
 .  In a strongly-typed, functional language, rules for<br>
    composing the little pieces are stated in terms of the type<br>
    system. These rules are subject to formal verification.<br>
<br>
 .  If the pieces turn out to make a mess of the rules, pieces<br>
    and rules are rewritten. Rinse and repeat.<br>
<br>
 .  A verified system is assembled according to the rules.<br>
<br>
  I'd like to talk with people who know something about embedded<br>
  systems to help assess the validity and scope of this<br>
  approach, using Atom. Naturally, as the Haskell teacher, I am<br>
  going to work with everyone to make Haskell transparent. I<br>
  have no insight into embedded systems (no idea how to place<br>
  code on a device, &c.) and will need some help there.<br>
<br>
  Please do write in if you are interested so we can work out a<br>
  time to meet.<br>
<br>
--<br>
Jason Dusek<br>
<br>
<br>
 |...Atom...|<br>
  <a href="http://leepike.wordpress.com/2009/05/05/an-atomic-fibonacci-server-exploring-the-atom-haskell-dsl/" target="_blank">http://leepike.wordpress.com/2009/05/05/an-atomic-fibonacci-server-exploring-the-atom-haskell-dsl/</a><br>

_______________________________________________<br>
Noisebridge-discuss mailing list<br>
<a href="mailto:Noisebridge-discuss@lists.noisebridge.net">Noisebridge-discuss@lists.noisebridge.net</a><br>
<a href="https://www.noisebridge.net/mailman/listinfo/noisebridge-discuss" target="_blank">https://www.noisebridge.net/mailman/listinfo/noisebridge-discuss</a><br>
</blockquote></div><br>