I recently uploaded doxygen-generated manuals of some pico]OS -related libraries into github pages:
- pico]OS: Standard documentation with latest updates
- picoos-micro: Micro-layer documentation (misc stuff + fat)
- picoos-ow: Maxim/Dallas support for pico]OS
- picoos-net: IPv4 & IPv6, socket layer and ethernet drivers for pico]OS