IRC, freenode, #hurd, 2012-08-02

<mcsim> If someone interested, there is a channel with lectures about
  Genode and L4: http://www.youtube.com/user/drsartakov?feature=watch