I bought a WIFI module, Raspberry Pi Rev. B and an HDMI cable.
I’m considering buying a few SD cards. Probably 4GBs per an SD card is good enough.
What shall I do? I would like to try to figure out H/W programming, not VHDL but low level ( kernel ) thing to port an OS as an exercise, and would like to control it by implementing an IOKit module from Mac OS X to figure out how to write device driver or some kind of mediate module for upper-layer app code.