Thanks for the offer - I could get a Novena - but time (and experience with tricky hardware problems) is more difficult to acquire ;)
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 (http://lxr.free-electrons.com/source/drivers/gpu/ipu-v3/ipu-common.c)
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?)
Vladimir -- ***Email confidentiality notice*** This message is private and confidential. Storage and automated scanning of this message for selectors and metadata is strictly prohibited.
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
7. Jan 2016 23:29 by 166291@...9...:
On Thu, Jan 07, 2016 at 10:47:52PM +0000, Vladimir Lushnikov wrote:
I don't have a Novena but other i.MX6 hardware - I haven't looked at running Genode + a GUI on it yet though. So maybe that's a good h/w target outside of the x86 world.
I have a Novena as my main machine now, so if you need testing for it I'be happy to do so and provide feedback.
If we're talking about cool things microkernels can do, I'd say the fact you can get low level hardware access with minimum overhead for drivers in user space, and through paravirtualization have a system almost as fast as bare metal.
It'd be interesting to see high-level languages used to write drivers (this is mentioned a bit in the 2015 roadmap with Haskell) rather than something like C.
genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main