The Cradle, if that's what you mean by "dock" is just a port replicator, essentially. it connects to the PC via USB and to AC power via wall-wart -- I don't think that electrically, it's any different from using the USB and AC cables, so it should work with libPRS500 just fine, and I wouldn't think that it would matter what OS you were using either. It's not like it does anything itself, it's just a quicker/easier connection method than the individual cables.
