Thinkpad X250 vs X260 ?

[Alexander Boettcher]

Hello,

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
> video...
> 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 [0]) 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 [1].

Cheers,

Alex.

[0] https://wiki.sel4.systems/seL4%203.2.0
[1] https://wiki.sel4.systems/seL4%204.0.0


-- 
Alexander Boettcher
Genode Labs

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