<html>
  <head>
    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  </head>
  <body>
Thanks for the offer - I could get a Novena - but time (and experience with tricky hardware problems) is more difficult to acquire ;)<br /><br />Just looking at the sources now, I see that the only framebuffer driver written for iMX has been for the iMX53 - doing a quick search leads me to think that the IPU on the iMX6 is a very similar interface (<a href="http://lxr.free-electrons.com/source/drivers/gpu/ipu-v3/ipu-common.c" target="_blank">http://lxr.free-electrons.com/source/drivers/gpu/ipu-v3/ipu-common.c</a>)<br /><br />Have you tried playing with the framebuffer driver? I imagine quite a few other things don't work (USB for sure, but probably ethernet as well?)<br /><br />Vladimir<br />
-- <br />***Email confidentiality notice***<br />This message is private and confidential. Storage and automated scanning of this message for selectors and metadata is strictly prohibited.<br /><br />Solid Ninja Ltd. is a limited company registered in England and Wales. Registration number 9622534. Registered office Unit 11, Hove Business Centre, East Sussex, BN3 6HA<br /><br /><br />7. Jan 2016 23:29 by <a href="mailto:166291@...9..." target="_blank">166291@...9...</a>:<br /><br /><blockquote class="tutanota_quote" style="border-left: 1px solid #93A3B8; padding-left: 10px; margin-left: 5px;">On Thu, Jan 07, 2016 at 10:47:52PM +0000, Vladimir Lushnikov wrote:<blockquote>I don't have a Novena but other i.MX6 hardware - I haven't looked at running <br />Genode + a GUI on it yet though. So maybe that's a good h/w target outside of <br />the x86 world.</blockquote><br />I have a Novena as my main machine now, so if you need testing for it I'be happy<br />to do so and provide feedback.<br /><br />If we're talking about cool things microkernels can do, I'd say the fact you can<br />get low level hardware access with minimum overhead for drivers in user space,<br />and through paravirtualization have a system almost as fast as bare metal.<br /><br />It'd be interesting to see high-level languages used to write drivers (this is<br />mentioned a bit in the 2015 roadmap with Haskell) rather than something like C.<br /><br />------------------------------------------------------------------------------<br />_______________________________________________<br />genode-main mailing list<br /><a target="_blank" href="mailto:genode-main@lists.sourceforge.net">genode-main@lists.sourceforge.net</a><br /><a target="_blank" href="https://lists.sourceforge.net/lists/listinfo/genode-main">https://lists.sourceforge.net/lists/listinfo/genode-main</a></blockquote>  </body>
</html>