This code has been compiled and run successfully on a p1. It reads the contents of an SD card and can update values in EEPROM.
Notes:
Sometimes the read doesn't work because of the connection. If this is the case, remove the USB and replug. Take the SD Card out and reinsert.