Here is a list of all Mbed OS documentation pages:

Getting Started with PSoC 6 MCU and CYW43xxx in Mbed OS
Cypress Firmware Deliverables in Mbed OS