Thinkpad X250 vs X260 ?

[Peter Lindener]

The list of unofficially supported Genode compatible systems
<http://usr.sysret.de/jws/genode/hcl.html#list_systems>..
might suggest that the most expedient path towards developing / working
with Genode is likely the Thinkpad X250 or X260...

Even with the i7 Skylake's on chip graphics, waiting for my Dell XPS 15
to join this list seems like it might be a bit of a long shot.

Thus i write asking for an update on if I should spring for a Thinkpad
X250 or X260? last time I queried Norman mentioned one should order it
with Intel's (user facing) remote management engine enabled.. ( always
enabled for use by the NSA )...

Any other features / configuration suggested for Genode development?

I am also interested in cross development of Genode to ARMv7, ARMv8..
for ARM development, it seems like the Arndale Board
<http://www.arndaleboard.org/wiki/index.php/Main_Page> is currently the
path of least resistance?...
I currently have a Zynq-7000 (dual ARM9) based SnickerDoodle
<http://krtkl.com/> on my bench that may be fairly easy for Genode to boot
up?
is Genode likely to support a more modern ARMv8 implementation likely in
the near term?

-Peter

[Norman Feske]

Hello Peter,

Post by Peter Lindener
Even with the i7 Skylake's on chip graphics, waiting for my Dell XPS
15 to join this list seems like it might be a bit of a long shot.

the quickest way to find that out would be to boot the seL4 and NOVA ISO
images that we provided along with Genode 16.05 from a USB stick. You
can find the images here:


http://genode.org/documentation/release-notes/16.08#Try_Genode_seL4_at_home

Post by Peter Lindener
Thus i write asking for an update on if I should spring for a
Thinkpad X250 or X260? last time I queried Norman mentioned one
should order it with Intel's (user facing) remote management engine
enabled.. ( always enabled for use by the NSA )...

I recommended AMT solely for its serial-over-line (SOL) feature. Without
it, it is very hard to debug low-level problems. In case you don't
intend to work on such a low level (device drivers, kernel) but merely
use Genode or work on higher-level components, it is not important at
all. It is also worth noting that we (in particular Alex) are
investigating alternative ways to obtain low-level log output:

https://github.com/genodelabs/genode/issues/2207

Post by Peter Lindener
I am also interested in cross development of Genode to ARMv7, ARMv8..
for ARM development, it seems like the Arndale Board
<http://www.arndaleboard.org/wiki/index.php/Main_Page> is currently the
path of least resistance?...
I currently have a Zynq-7000 (dual ARM9) based SnickerDoodle
<http://krtkl.com/> on my bench that may be fairly easy for Genode to
boot up?

Zynq is a good choice as it is actively being used and maintained by
Johannes Schlatow. At Genode Labs, we currently focus on Freescale i.MX,
i.e., i.MX6-based devices.

Post by Peter Lindener
is Genode likely to support a more modern ARMv8 implementation likely
in the near term?

I am not aware of any current plans to support ARMv8.

Speaking from Genode Labs's perspective, we'd be open to pursue such a
development as a commissioned project but not on our own account.

Cheers
Norman

[Peter Lindener]

Dear
Norman-

It's good news that Zynq-7000 devices are well supported for Genode on
ARMv7.

I looked over the Genode/seL4 at home
<http://genode.org/documentation/release-notes/16.08#Try_Genode_seL4_at_home>
you
mentioned.
as far as running Genode on my development laptop:

I was a bit surprised to read *"usable physical memory must be below a
kernel constant named PADDR_TOP (0x1fc00000, ~508 MB)*"..
also, seemingly not a trace

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..
this boot image is seeming dated, running in 32bit mode... am I missing
somethng here?

-Peter

Post by Norman Feske
Hello Peter,

Post by Peter Lindener
Even with the i7 Skylake's on chip graphics, waiting for my Dell XPS
15 to join this list seems like it might be a bit of a long shot.

the quickest way to find that out would be to boot the seL4 and NOVA ISO
images that we provided along with Genode 16.05 from a USB stick. You
http://genode.org/documentation/release-notes/
16.08#Try_Genode_seL4_at_home

Post by Peter Lindener
Thus i write asking for an update on if I should spring for a
Thinkpad X250 or X260? last time I queried Norman mentioned one
should order it with Intel's (user facing) remote management engine
enabled.. ( always enabled for use by the NSA )...

I recommended AMT solely for its serial-over-line (SOL) feature. Without
it, it is very hard to debug low-level problems. In case you don't
intend to work on such a low level (device drivers, kernel) but merely
use Genode or work on higher-level components, it is not important at
all. It is also worth noting that we (in particular Alex) are
https://github.com/genodelabs/genode/issues/2207

Post by Peter Lindener
I am also interested in cross development of Genode to ARMv7, ARMv8..
for ARM development, it seems like the Arndale Board
<http://www.arndaleboard.org/wiki/index.php/Main_Page> is currently the
path of least resistance?...
I currently have a Zynq-7000 (dual ARM9) based SnickerDoodle
<http://krtkl.com/> on my bench that may be fairly easy for Genode to
boot up?

Zynq is a good choice as it is actively being used and maintained by
Johannes Schlatow. At Genode Labs, we currently focus on Freescale i.MX,
i.e., i.MX6-based devices.

Post by Peter Lindener
is Genode likely to support a more modern ARMv8 implementation likely
in the near term?

I am not aware of any current plans to support ARMv8.
Speaking from Genode Labs's perspective, we'd be open to pursue such a
development as a commissioned project but not on our own account.
Cheers
Norman
--
Dr.-Ing. Norman Feske
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
------------------------------------------------------------
------------------
Developer Access Program for Intel Xeon Phi Processors
Access to Intel Xeon Phi processor-based developer platforms.
With one year of Intel Parallel Studio XE.
Training and support from Colfax.
Order your platform today. http://sdm.link/xeonphi
_______________________________________________
genode-main mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main

[Alexander Boettcher]

Hello,

Post by Peter Lindener
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.

Post by Peter Lindener
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