This sounds pretty interesting.
Also take a look at the list with reference hardware/chipset design companies.
http://www.artismicro.com/index.html (with board names like A-3000, A-5000 etc. :-)
Marwell (couldn't find a website).
http://www.plxtech.com/Didn't see MAI there, which surprised me a bit.
