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@...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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main