Thinkpad X250 vs X260 ?
alexander.boettcher at ...1...
Tue Jan 17 10:30:18 CET 2017
On 14.01.2017 22:51, Peter Lindener wrote:
> I was ready to give it a try, when I also noticed reliance on the VESA
> my DELL XPS 15 (32gig) boots in UEFI mode..
we had never official UEFI support in Genode - it's not expected to work
out-of-the-box that way.
> this boot image is seeming dated, running in 32bit mode... am I missing
> somethng here?
At the time of integrating Genode with seL4 (version 3.2 ) there was
simply solely 32 bit support available in the seL4 master branch - so -
no surprise at all. 64 bit support is available with seL4 4.0 .
http://www.genode-labs.com · http://genode.org
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
More information about the users