Done, thanks for the info. I'm new to github;)

Hi, Following this thread: http://www.raspberrypi.org/phpBB3/viewtopic.php?f=72&t=53343 , I've switched to raspbootin/-com for bare-metal development. I've modified raspbootcom.cc to compile on OS X(mainly because htole32 etc. doesn't exist on OS X). My version also resets the rpi when the process r...

I've set up mine with u-boot and tftp. Every time the rpi boots, it loads kernel.img over ethernet. My makefile copies kernel.img to the tftp root directory(my mac acts as the tftp server). Then I just push the reset button connected to P6 to reboot and reload kernel.img. Works like a charm.