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