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
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
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
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 VESAvideo... 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 missingsomethng 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 -
Norman Feske -
Peter Lindener