http://www.youtube.com/user/CodeMonkeyR ... ture=watch

there now also exist installation instructions.
as i understod you need a particular wifi card supporting WiDi and second a driver supporting WiDi.
then one needs to setup a dhcpd

let us know how it works