This is gonna be amazing if I can get my hands on a raspberry_pi http://www.raspberrypi.org/ for $25 it'll turn my lapdock into a full laptop! the two devices sound ideal combined!
hdmi into hdmi micro adapter, usb to usb micro adapter, and raspberry pi usb power to dock usb connectors! perfect all in one setup. hell there might even be room to internalize the pi. that would be something!