Thinkpad X250 vs X260 ?

[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



On Fri, Jan 13, 2017 at 1:36 AM, Norman Feske <norman.feske at ...1...>
wrote:

> Hello Peter,
>
> >    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
>
> >    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
>
> >    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.
>
> >  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
> genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20170114/edbb1f26/attachment.html>