We just released the version 17.05 of the Genode OS Framework. According to our road map, this version is designated as a suitable basis for development branches to be maintained over a longer period of time. With this goal in mind, the release cycle was focused on wrapping up our great API renovation that we started of year ago, and on updating fundamental parts of the framework that we want to keep stable in the foreseeable future. But the release is also rich of interesting new features and improvements, just to name a few highlights:
- New approach and tools for package management - Updated revision of the "Genode Foundations" book - Completion of Genode's API modernization - GNU compiler collection (GCC) 6.3 including Ada support - Qt5 updated to version 5.8 - Feature-complete VirtualBox 5.1.22 for NOVA - Nim programming language - Interpolated wall-clock times - New network-traffic and CPU-time monitoring tools - Muen separation kernel updated to latest version
The official release documentation covers these and many more topic in great detail:
http://genode.org/documentation/release-notes/17.05
Have fun with exploring the new release!
Cheers Norman
Norman, a couple questions about this release.
1. Does this release port in the newest seL4 kernel (4.4) or still the 4.3.2? 2. Is there framebuffer support for AMD processors (if not, is there a build with this target in mind)?
On Wed, May 31, 2017 at 10:56 AM, Norman Feske <norman.feske@...1...
wrote:
We just released the version 17.05 of the Genode OS Framework. According to our road map, this version is designated as a suitable basis for development branches to be maintained over a longer period of time. With this goal in mind, the release cycle was focused on wrapping up our great API renovation that we started of year ago, and on updating fundamental parts of the framework that we want to keep stable in the foreseeable future. But the release is also rich of interesting new features and improvements, just to name a few highlights:
- New approach and tools for package management
- Updated revision of the "Genode Foundations" book
- Completion of Genode's API modernization
- GNU compiler collection (GCC) 6.3 including Ada support
- Qt5 updated to version 5.8
- Feature-complete VirtualBox 5.1.22 for NOVA
- Nim programming language
- Interpolated wall-clock times
- New network-traffic and CPU-time monitoring tools
- Muen separation kernel updated to latest version
The official release documentation covers these and many more topic in great detail:
http://genode.org/documentation/release-notes/17.05
Have fun with exploring the new release!
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
Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Hi Chris,
- Does this release port in the newest seL4 kernel (4.4) or still the
4.3.2?
The update of seL4 is scheduled for version 17.08. Please see our road map [1] for our planning.
[1] http://genode.org/about/road-map
- Is there framebuffer support for AMD processors (if not, is there a
build with this target in mind)?
Admittedly, I do not fully grasp the question. Are you referring to a particular AMD CPU with integrated graphics? As far as I know, graphics devices are usually realized as PCI devices and most cards support VESA. Have you tried our VESA driver with your device?
We do not have a current ambition to focus specifically on AMD hardware in the immediate future. If there is commercial interest, of course we'd work on it as a commissioned project, but not on our own account.
Cheers Norman
Any laptop or PC I compile Genode on that has an Intel CPU works fine for the framebuffer. Any PC or laptop I compile Genode on that has an AMD CPU the framebuffer doesn't work. So far from what we have been able to determine is there is not support for AMD's framebuffering and any sort of interaction using an AMD CPU has to be done with a serial port, not standard video output. If I am wrong in this conclusion, please correct me, but this is something we have actively found to be the case.
On Thu, Jun 1, 2017 at 9:59 AM, Norman Feske <norman.feske@...1...> wrote:
Hi Chris,
- Does this release port in the newest seL4 kernel (4.4) or still the
4.3.2?
The update of seL4 is scheduled for version 17.08. Please see our road map [1] for our planning.
[1] http://genode.org/about/road-map
- Is there framebuffer support for AMD processors (if not, is there a
build with this target in mind)?
Admittedly, I do not fully grasp the question. Are you referring to a particular AMD CPU with integrated graphics? As far as I know, graphics devices are usually realized as PCI devices and most cards support VESA. Have you tried our VESA driver with your device?
We do not have a current ambition to focus specifically on AMD hardware in the immediate future. If there is commercial interest, of course we'd work on it 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
Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Are you using vesa_drv or intel_fb_drv? If you're using intel_fb_drv, that's your problem. If not, I can try running a basic Genode system on my AMD CPU & GPU desktop, and tell you whether it works for me.
On Thu, Jun 1, 2017 at 10:40 AM, Chris Rothrock <cgrothrock@...9...> wrote:
Any laptop or PC I compile Genode on that has an Intel CPU works fine for the framebuffer. Any PC or laptop I compile Genode on that has an AMD CPU the framebuffer doesn't work. So far from what we have been able to determine is there is not support for AMD's framebuffering and any sort of interaction using an AMD CPU has to be done with a serial port, not standard video output. If I am wrong in this conclusion, please correct me, but this is something we have actively found to be the case.
On Thu, Jun 1, 2017 at 9:59 AM, Norman Feske <norman.feske@...1...
wrote:
Hi Chris,
- Does this release port in the newest seL4 kernel (4.4) or still the
4.3.2?
The update of seL4 is scheduled for version 17.08. Please see our road map [1] for our planning.
[1] http://genode.org/about/road-map
- Is there framebuffer support for AMD processors (if not, is there a
build with this target in mind)?
Admittedly, I do not fully grasp the question. Are you referring to a particular AMD CPU with integrated graphics? As far as I know, graphics devices are usually realized as PCI devices and most cards support VESA. Have you tried our VESA driver with your device?
We do not have a current ambition to focus specifically on AMD hardware in the immediate future. If there is commercial interest, of course we'd work on it 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
Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
--
Thank You,
Chris Rothrock Senior System Administrator (315) 308-1637
Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
I'm not seeing which framebuffer driver is being used. I am looking at the virtualbox.run and I see nit_fb, fb_drv, fb_sdl but I do not see anything specifically stating "intel" or "vesa". I just ran another complete compile (fresh compile on 17.05) using the virtualbox.run recipe. I can get this virtualbox.iso image to boot on an Intel platform and through VirtualBox (also an Intel box) but on an AMD it stops at the text screen with the last line reading "boot".
The second problem I have with the virtualbox compile is no video in the two nit_fb windows. I have the variable use_gui set to 1, it boots fine to the GUI, I see nit_fb1 and nit_fb2, however inside each of these windows SHOULD be their own instance of TinyCore Linux but there is nothing shown at all. Any direction in this would help.
On Fri, Jun 2, 2017 at 2:48 AM, Nobody III <hungryninja101@...9...> wrote:
Are you using vesa_drv or intel_fb_drv? If you're using intel_fb_drv, that's your problem. If not, I can try running a basic Genode system on my AMD CPU & GPU desktop, and tell you whether it works for me.
On Thu, Jun 1, 2017 at 10:40 AM, Chris Rothrock <cgrothrock@...9...> wrote:
Any laptop or PC I compile Genode on that has an Intel CPU works fine for the framebuffer. Any PC or laptop I compile Genode on that has an AMD CPU the framebuffer doesn't work. So far from what we have been able to determine is there is not support for AMD's framebuffering and any sort of interaction using an AMD CPU has to be done with a serial port, not standard video output. If I am wrong in this conclusion, please correct me, but this is something we have actively found to be the case.
On Thu, Jun 1, 2017 at 9:59 AM, Norman Feske < norman.feske@...1...> wrote:
Hi Chris,
- Does this release port in the newest seL4 kernel (4.4) or still the
4.3.2?
The update of seL4 is scheduled for version 17.08. Please see our road map [1] for our planning.
[1] http://genode.org/about/road-map
- Is there framebuffer support for AMD processors (if not, is there a
build with this target in mind)?
Admittedly, I do not fully grasp the question. Are you referring to a particular AMD CPU with integrated graphics? As far as I know, graphics devices are usually realized as PCI devices and most cards support VESA. Have you tried our VESA driver with your device?
We do not have a current ambition to focus specifically on AMD hardware in the immediate future. If there is commercial interest, of course we'd work on it 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
Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
--
Thank You,
Chris Rothrock Senior System Administrator (315) 308-1637
Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
-
Chris Rothrock -
Nobody III -
Norman Feske