My mistake - apologies.Turned out it was the SD card that had given up the ghost (and was non-responsive). When I inserted a different "external" SD card, it was correctly recognized by os1.
Sorry, mikus _______________________________________________ Devel mailing list [email protected] http://lists.laptop.org/listinfo/devel
