Currently an intern at Future Electronics (a reseller of Cypress products) until mid-August, I am working on an initial port of mbed-os on PSoC 6. I have a port of GPIO, microsecond ticker and serial. It is very crude, but it is working. Discussions are still ongoing about ownership, support and FE's benefit, and since the PSoC 6 is not out yet I can not share any source code. But I believe you can expect an initial release in a few weeks and hopefully a public release in a few months !