Received my devices today after a week of shipping. Im quite impressed by the quality of burnin's service regardless.
It is possible to update the firmware using a raspberrypi and arch linux after all. Somebody in an earlier posting stated that it isnt possible, but I found it works just fine.
I simply checked out
http://code.google.com/p/pic32prog/ as read-only, installed build-essentials and libusb-compat and compiled it. If you try to compile it without libusb-compat installed, youll get an error because usb.h is missing.
Then I had an issue where my pic32prog wouldnt recognize the bootloaders. They always timed out. If you have the same problem, edit lines 163-166 in target.c:
if (! t->adapter)
t->adapter = adapter_open_hidboot ();
if (! t->adapter)
t->adapter = adapter_open_an1388 ();
to look like this:
if (! t->adapter)
t->adapter = adapter_open_an1388 ();
if (! t->adapter)
t->adapter = adapter_open_hidboot ();
then recompile (make && make install) and try again.
to flash, simply execute ./pic32prog BitBurner_08.05b.hex
I did all of the above the above as root, otherwise youll probably run into permission issues.
It does find it and connect to it and start programming, but then hangs before completion
May well be the libusb version I used that day ... the default libusb version on raspbian is bugged ... but the default version on Arch seems to be OK, so I may have only run it on Raspbian - I can't remember.