Genode OS Framework version 17.05 released

Discussion:

Norman Feske

2017-05-31 14:56:43 UTC

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

Nobody III

2017-05-31 17:01:23 UTC

Permalink

With this new release, can init provide child services to its siblings, or
just to its children?

On May 31, 2017 8:59 AM, "Norman Feske" <***@genode-labs.com>
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

Norman Feske

2017-06-01 06:22:36 UTC

Permalink

Hi Ben,

Post by Nobody III
With this new release, can init provide child services to its siblings,
or just to its children?

yes, init is now able to provide services to its siblings. For details,
please refer to the corresponding section [1] of the release notes. To
see this feature used in practice, you may have a look at the new
version of the gems/run/wm.run script [2]. There is a dedicated sub init
for all the drivers and one for all the window-manager components. By
combining init's service forwarding with the new depot tools, all the
ugly conditional parts of the run script are magically gone now. See the
previous version [3] of the run script for comparison.

[1] https://genode.org/documentation/release-notes/17.05#Service_forwarding
[2] https://github.com/genodelabs/genode/blob/master/repos/gems/run/wm.run
[3] https://github.com/genodelabs/genode/blob/17.02/repos/gems/run/wm.run

Cheers
Norman

Chris Rothrock

2017-06-01 12:05:52 UTC

Permalink

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)?

Post by Norman Feske
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
- 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
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
https://lists.sourceforge.net/lists/listinfo/genode-main

--
Thank You,

Chris Rothrock
Senior System Administrator
(315) 308-1637

Norman Feske

2017-06-01 13:59:44 UTC

Permalink

Hi Chris,

Post by Chris Rothrock
1. 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

Post by Chris Rothrock
2. Is there framebuffer support for AMD processors (if not, is there a
build with this target in mind)?

Chris Rothrock

2017-06-01 16:40:44 UTC

Permalink

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.

Post by Norman Feske
Hi Chris,

Post by Chris Rothrock
1. 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

Post by Chris Rothrock
2. 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
https://lists.sourceforge.net/lists/listinfo/genode-main

--
Thank You,

Chris Rothrock
Senior System Administrator
(315) 308-1637

Nobody III

2017-06-02 06:48:43 UTC

Permalink

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.

Post by Chris Rothrock
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.

Post by Norman Feske
Hi Chris,

Post by Chris Rothrock
1. 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

Post by Chris Rothrock
2. Is there framebuffer support for AMD processors (if not, is there a
build with this target in mind)?

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

Chris Rothrock

2017-06-06 16:29:57 UTC

Permalink

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.

Post by Nobody III
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.

Post by Norman Feske
Hi Chris,

Post by Chris Rothrock
1. 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

Post by Chris Rothrock
2. Is there framebuffer support for AMD processors (if not, is there a
build with this target in mind)?

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

--
Thank You,

Chris Rothrock
Senior System Administrator
(315) 308-1637

Alexander Boettcher

2017-06-07 16:49:41 UTC

Permalink

Hello,

The AMD issue aside, with 17.05 I can't get VirtualBox to work at all now.
I have tried clean download and compiles but after the boot process, the
VirtualBox module is now not displaying anything. I have tried with and
without the gui, VirtualBox 4 and 5, all with the same results on hardware
that was working with 16.08.

--
Alexander Boettcher
Genode Labs

http://www.genode-labs.com - http://www.genode.org

Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

Chris Rothrock

2017-06-07 16:56:41 UTC

Permalink

I'm currently in the process of a full recompile right now testing out your
latest suggestions. I'll let you know how it goes. Thanks!

Chris

On Wed, Jun 7, 2017 at 12:49 PM, Alexander Boettcher <

Post by Alexander Boettcher
Hello,

The AMD issue aside, with 17.05 I can't get VirtualBox to work at all

now.

I have tried clean download and compiles but after the boot process, the
VirtualBox module is now not displaying anything. I have tried with and
without the gui, VirtualBox 4 and 5, all with the same results on

hardware

that was working with 16.08.

may you please try [0], which fixes some configuration issues on 17.05
for virtualbox.run on native hardware for me. Tinycore runs fine for me
with vbox4 and vbox5.
Still, the adjusted quotas may be too low, depending on the hardware you
use.
Hope it helps.
[0]
https://github.com/alex-ab/genode/commit/5a1fbe0c31262273d07ae07c96fdd7
0de8fe21bc
--
Alexander Boettcher
Genode Labs
http://www.genode-labs.com - http://www.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
https://lists.sourceforge.net/lists/listinfo/genode-main

--
Thank You,

Chris Rothrock
Senior System Administrator
(315) 308-1637