genode-announce — [INACTIVE] Genode OS framework announcements - use https://lists.genode.org/listinfo/users

Reminder about the state of the genode-announce mailing list

[Christian H. <chr...@ge...>]

Hello,

this is a kind reminder that this mailing list is inactive. For
up-to-date announcements/information/discussion about Genode please
choose one of the following options.

1. Subscribe to our active user discussion list

     https://lists.genode.org/listinfo/users

   There's also a mailing list archive

     https://lists.genode.org/pipermail/users

2. Subscribe to the Genode.org RSS feed

     https://genode.org/news/aggregator/rss

3. Subscribe to our bi-monthly Genode Labs newsletter

     https://www.genode-labs.com/newsletter

   The newsletter archive can be found at

     https://www.genode-labs.com/news/newsletter/index

Regards

Christian

-- 
Christian Helmuth
Genode Labs

https://www.genode-labs.com/ · https://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

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

Re: Announcement: Genode OS Framework version 18.05 released

[Christian H. <chr...@ge...>]

An error slipped into my original email - the correct link to the
release documentation is

  https://genode.org/documentation/release-notes/18.05

Many apologies!

-- 
Christian Helmuth
Genode Labs

https://www.genode-labs.com/ · https://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

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

Announcement: Genode OS Framework version 18.05 released

[Christian H. <chr...@ge...>]

We are proud to announce the next step in the Year of Sculpt with the
release of Genode 18.05 and Sculpt for The Curious (TC). This
incarnation of Genode as a general-purpose operating system comes with
a new graphical user interface, which enables the user to
interactively perform fundamental tasks like storage and network
connectivity management as well as installation and deployment of
software. The resulting system uncovers the flexibility of Genode with
easiness and fun.

Beside Sculpt TC the release comes with the following highlights.

- New revision of the Genode Foundations book
- Storage
  - Enhanced VFS library and plugin interface
  - New audit and copy-on-write VFS plugins
  - Creating and modifying GUID partition tables on target
- Dynamic reconfiguration of user-level network routing
- GUI stack
  - UTF-8 support for graphical components
  - New font-rendering and text-output facilities
  - Modernized API for input-event processing
- Device drivers
  - NVMe storage devices
  - Improved USB-storage driver
  - PCI access via ECAM/MMCONF
- Libraries and Applications
  - Packaged Qt5 framework
  - New Java language support
  - Improved Ada language support
  - Updated Seoul VMM on NOVA
- Updated seL4 kernel to version 9.0.1
- Updated Muen separation kernel

All details can be found in the release documentation available at

  https://genode.org/documentation/release-notes/18.02

Happy sculpting

-- 
Christian Helmuth
Genode Labs

https://www.genode-labs.com/ · https://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

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

Genode OS Framework version 18.02 released

[Norman F. <nor...@ge...>]

Hereby, I proudly announce the release of Genode 18.02, which features
the first revision of Sculpt OS, which is the Genode-based operating
system that our team at Genode Labs has been using for several months
now. For the release, we have taken the time to polish and document it
so that like-minded people can join us with using and improving Genode
day to day.

Even though most topics of the release are closely related to Sculpt,
many of them are interesting on their own account. The highlights are:

- Sculpt for Early Adopters (EA)
- On-target package installation and deployment
- Improved networking stack
- Support for servers written in the Nim language
- VirtualBox version 5.1.32
- New trace-logging component
- Ethernet-driver for i.MX-based Wandboard
- SMP support for Xilinx Zynq hardware

The complete release documentation is available at:

  https://genode.org/documentation/release-notes/18.02

I wish you a lot of fun with exploring the new release!

Cheers
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

https://www.genode-labs.com · https://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
gen...@li...
https://lists.sourceforge.net/lists/listinfo/genode-main

Genode OS Framework version 18.02 released

[Norman F. <nor...@ge...>]

Hereby, I proudly announce the release of Genode 18.02, which features
the first revision of Sculpt OS, which is the Genode-based operating
system that our team at Genode Labs has been using for several months
now. For the release, we have taken the time to polish and document it
so that like-minded people can join us with using and improving Genode
day to day.

Even though most topics of the release are closely related to Sculpt,
many of them are interesting on their own account. The highlights are:

- Sculpt for Early Adopters (EA)
- On-target package installation and deployment
- Improved networking stack
- Support for servers written in the Nim language
- VirtualBox version 5.1.32
- New trace-logging component
- Ethernet-driver for i.MX-based Wandboard
- SMP support for Xilinx Zynq hardware

The complete release documentation is available at:

  https://genode.org/documentation/release-notes/18.02

I wish you a lot of fun with exploring the new release!

Cheers
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

https://www.genode-labs.com · https://genode.org

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

Announcement: Genode OS Framework version 17.11 released

[Christian H. <chr...@ge...>]

Not one major feature but many small improvements regarding the
interactive use come with new version 17.11 of Genode. Driven by our
endeavor to use Genode as secure and robust working platform in the
Genode Labs team, we smoothened great many rough edges. On the path,
the system got a completely revised GUI and input stack, a dynamic
driver manager, and over 150 packaged depot archives. The package
management represents the key to easy deployment and update of the
system in the future.

This is a short summary of changes and new features.

- Base framework and OS-level infrastructure
  - Dynamic device-driver management
  - NIC-router ability to act as DHCP client and server
  - Improved input processing, including mouse acceleration,
    mouse-wheel emulation, capslock and numlock handling
  - Revised GUI stack, covering broader use cases
  - Refined Rump-kernel-based file-system support
- Platform support
  - UEFI boot, consistent use of GRUB2 on x86
  - Enabling MMU-based threat mitigations by default
  - seL4 updated to kernel branch 7.0
  - Wrapping up internal redesign of Genode's custom kernel
- Runtimes, applications, and libraries
  - Cultivation of the Nim language for Genode components
  - Native execution of Libretro-based game-console emulators
  - Reworked libSDL backend with support for resizing
- Improved tooling for validating configurations

Details can be found in the release documentation available at

  https://genode.org/documentation/release-notes/17.11

Best regards
-- 
Christian Helmuth
Genode Labs

https://www.genode-labs.com/ · https://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

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

Genode OS Framework version 17.08 released

[Norman F. <nor...@ge...>]

I am happy to announce the version 17.08 of the Genode OS Framework.
After the huge infrastructural changes of the previous two releases, we
took the current release cycle as an opportunity to let things settle
down and concentrate on Genode Labs' internal continuous-integration
infrastructure. This resulted in countless gradual refinements such as
improved timing accuracy or the increased POSIX compliance of our libc.

That said, the highlight of the new version is something completely
different: The result of our thorough investigation of
hardware-accelerated graphics on modern Intel platforms over the course
of the past year. With our new GPU multiplexer developed from scratch,
Genode becomes able to leverage GPU resources at only a marginal
increase of the system's trusted computing base. Another compelling
feature of the new version is the upgraded seL4 support that covers ARM
and 64-bit x86. A summary of changes:

- Hardware-accelerated graphics for Intel Gen-8 GPUs
- The seL4 6.0 kernel on ARM and 64-bit x86 hardware
- Genode as Xen DomU
- Preliminary UEFI support for NOVA, base-hw, and seL4
- New server for capturing reports to files
- New runtime for the sequential execution of components
- Support for boot-time initialized frame buffer
- FatFS-based VFS plugin
- Extended non-blocking operation of the VFS
- Refined time handling
- Updated Muen separation kernel

The long version in the form of the official release documentation:

  http://genode.org/documentation/release-notes/17.08

Have fun with exploring the new version!

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

Genode OS Framework version 17.05 released

[Norman F. <nor...@ge...>]

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

Genode OS Framework version 17.02 released

[Norman F. <nor...@ge...>]

I am happy to announce the release of Genode 17.02. Among the highlights
of the new version are the introduction of Genode's ABI, init's new
ability to the change a running subsystem on the fly, and a greatly
improved VFS infrastructure that has been in the works for more than a
year. As usual, all those topics are covered in full detail in the
release documentation:

  https://genode.org/documentation/release-notes/17.02

For a brief summary:

- Genode application binary interface (ABI)
- Enhanced infrastructure for virtual file systes (VFS)
  - VFS support for synchronous I/O and reconfiguration
  - Rump-kernel-based file systems as VFS plugin
  - Linux TCP/IP stack as VFS plugin
- New execution model of the C runtime
- Dynamically reconfigurable init component
- Generic user-input-processing component
- Improved SD-card drivers, added support for i.MX6
- Muen separation kernel updated to version 0.8


I hope you'll enjoy the new version!

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

Announcement: Genode OS Framework version 16.11 released

[Christian H. <chr...@ge...>]

In the new release, we revisited the most fundamental aspect of the
framework - the interplay between parent and child components. We
replaced the fully synchronous model of communication in this
constellation by asynchronous communication to vastly improve
scalability and reduce the effort of thorough evaluation of crucial
system components. Further, we refined the design and configuration
interface of our NIC-router component to ease its application in
common use cases. Additional highlights are NOVA kernel improvements,
VirtualBox version updates, and support for smart cards.

The current release contains the following changes and new features.

  - Base framework
    - Redesigned interplay between parent and child components
    - Improved RPC mechanism
  - Ongoing transition to modernized framework API
  - Extended virtual-networking capabilities
  - New timeout-handing API
  - Support for smart cards
  - Time-based password generation
  - NOVA hypervisor
    - VirtualBox updated to versions 4.3.40 and 5.1.10
    - New asynchronous map operation

Read the complete release documentation for the version 16.11 at

  https://genode.org/documentation/release-notes/16.11

Best regards

-- 
Christian Helmuth
Genode Labs

https://www.genode-labs.com/ · https://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

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

Microkernels / Component-based OSes devroom - Call for Participation

[Josef S. <jos...@ge...>]

FOSDEM 2017 - Microkernels / Component-based OSes devroom
CALL FOR PARTICIPATION


The developers of several free and open-source microkernel-based
operating systems will meet at FOSDEM 2017 [1] in Brussels, Belgium
and will share a developer room on Saturday of February 04, 2017 [2].
The devroom is currently looking for content in the form of talks and 
activities related to the area of microkernel-based operating systems.
Possible topics include, but are not limited to: 

 * Introduction of a specific OS or framework
 * Design of subsystems and the general architecture of an OS
 * Enabling support for hardware (architectures, device drivers)
 * Used languages and tools
 * Maintainance and testing
 * Security and robustness
 * Trends and challenges
 * Use cases, experiences, lessons learned and demos

Please use the Pentabarf [3] system to submit your proposals and file it
under the track “Microkernels and Component-based OS”. You do not need
to create a new account if you already have one. When in doubt, please
use the devroom mailing list [4]. If you do not want to give a talk
yourself, you may still send suggestions for what else you would like to
see, or do in the devroom. Please send your suggestions to the mailing
list. The deadline for your proposal is on December the 4th.

Make sure to include the following in your proposal:

 * Title of your talk (will be printed in the FOSDEM booklet)
 * Your full name (will be printed in the FOSDEM booklet)
 * A short abstract (one or two paragraphs)
 * Duration of your talk (please, at least 25 and no longer than 45 min)

The official devroom schedule (along with the accepted talks) will be
announced on December the 11th on the devroom's mailing list and the 
speakers will be notified via e-mail. The schedule will also be published
on the FOSDEM website.


About FOSDEM

FOSDEM is a two-day event organised by volunteers to promote the 
widespread use of free and open source software. Taking place in the 
beautiful city of Brussels (Belgium), FOSDEM is widely recognised as the 
best such conference in Europe. FOSDEM covers a wide spectrum of free
and open source software projects, and offers a platform for people to
collaborate. To this end, FOSDEM has set up developer rooms (devrooms)
with network/internet connectivity and projectors where teams can meet
and showcase their projects. Devrooms are a place for teams to discuss,
hack and publicly present latest directions, lightning talks, news and 
discussions. Besides developer rooms, FOSDEM also offers main tracks,
lightning talks, certification exams and project stands. Every year,
FOSDEM hosts more than 5000 developers at the ULB Solbosch campus.
Participation and attendance is totally free, though the organisers
gratefully accept donations and sponsorship. No registration necessary.


About the devroom

Since the first Microkernel devroom in 2012 this devroom has been part of
each following FOSDEM. By now it has become a somewhat institutionalized
tradition for the micro kernel community to meet there; to this date over
a dozen projects have participated in one way or another. Each of the 
projects face similar challenges but come up with partially differend
solutions. Therefore, the goal of the Microkernel devroom is to bring the 
various projects together, let them exchange ideas, cross-pollinate and 
socialize.


Social events

It also has become a habit that the microkernel projects dine together
somewhere in downtown Brussels after the devroom closes. The year 2017
will not be any different, so there is going to be a microkernel family
dinner on Saturday night. The exact location and time will be specified
later. Consult the FOSDEM web and other projects for additional social
events such as the famous FOSDEM-organized Friday Beer Event and the 
FOSDEM-arranged free sightseeing tours for spouses.


Important dates recap

* 04.12.2016: Deadline for submissions
* 11.12.2016: Schedule published and speakers notified of acceptance
* 04.02.2017: The devroom takes places


Links

[1] http://fosdem.org/
[2] https://fosdem.org/2017/practical/transportation/
[3] https://fosdem.org/submit
[4] https://lists.fosdem.org/listinfo/microkernel-devroom


See you all at FOSDEM!

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

Announcement: Genode OS Framework version 16.08 released

[Christian H. <chr...@ge...>]

This release is packed with lots of improvements in areas ranging from
extended base-platform support over networking and virtualization to
new tools for statistical profiling. We quite proudly announce
extended support for the seL4 kernel as a platform for dynamic and
interactive Genode scenarios on x86. The new version enables users of
seL4 to compose dynamic operating systems from a plethora of
ready-to-use Genode components. Further, the developers from Codelabs
contribute their efforts in running unmodified guest operating systems
on top their Muen separation kernel with a port of VirtualBox 4. As we
consider VirtualBox as key feature of Genode, this release also
includes a first experimental version of VirtualBox 5 on top of the
NOVA kernel. Another highlight of the new version is a virtual
networking component for routing and NAT accompanied by the ability to
use the TOR network.

The current release contains the following changes and new features.

  - Base platforms
    - Interactive and dynamic workloads on top of the seL4 kernel
    - Binary compatibility across all supported kernels
    - Xilinx Zynq board support for Parallela, Zedboard, ZC706, ZC702
  - Networking
    - Virtual networking (routing, NAT)
    - New TOR component
    - ROM sessions in a network-distributed Genode system
  - Virtualization
    - VirtualBox 4 on top of the Muen separation kernel
    - Experimental version of VirtualBox 5 for NOVA
  - Libraries and components
    - Improved ACPI integration
    - Growing library of "shim" services such as a framebuffer scaler,
      an input remapper, a ROM fallback service, and a LOG duplicator
    - Ported 3rd-party software such as diffutils, less, mbed TLS,
      libxml2, RISC-V front-end server
    - New file-downloading component
  - Statistical profiling

Find the complete release documentation for the version 16.08 at

  https://genode.org/documentation/release-notes/16.08

Happy hacking with Genode!

-- 
Christian Helmuth
Genode Labs

http://www.genode-labs.com/ · http://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

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

Announcement: Genode OS Framework version 16.05 released

[Christian H. <chr...@ge...>]

The central aspect of the current release is the fundamental
renovation of our base API. The API gradually evolved over the years
since 2006 while we gained a wealth of experience with a wide range of
usage scenarios and their requirements. We eventually realized that
the need for fundamental changes to greatly increase robustness and
flexibility can no longer be ignored. Therefore, this release brings
new API functions reflecting our current knowledge about how a secure,
low-complexity C++ OS framework should look like and, on the other
hand, deprecates a wide range of interfaces that will be removed in
future versions. Beside the API changes, we packed quite a few
exciting features and improvements into the release.

The current release contains the following changes and new features:

  - Fundamental revision of the framework API
  - New revision of the "Genode Foundations" book
  - Enhanced ACPI support on x86
  - Device drivers
    - Updated Linux-based drivers to Linux version 4.4.3
      (Intel wireless, Intel graphics, USB, TCP/IP stack)
    - Updated OpenBSD-based audio driver to version 5.9
  - GNU debugger running on 64-bit NOVA
  - Rust programming language for Genode components
  - Tool-chain update

Find the complete release documentation for the version 16.05 here

  http://genode.org/documentation/release-notes/16.05

Kind regards
-- 
Christian Helmuth
Genode Labs

http://www.genode-labs.com/ · http://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

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

Article about Genode's RISC-V support

[Sebastian S. <Seb...@ge...>]

Hello everyone,

Genode's 16.02 release added support for the RISC-V CPU architecture. As
a follow-up, we just published an experience report where we examine the
RISC-V design in more detail. Also, we take an in depth look at the
steps that were necessary and the challenges we met in order to enable
our base-hw kernel and Genode for this platform. The article can be
found at:

http://genode.org/documentation/articles/riscv

Cheers,

Sebastian

Announcement: Genode OS Framework version 16.02 released

[Norman F. <nor...@ge...>]

I am happy to announce the release of Genode 16.02. The highlights of
the new version are the addition of RISC-V architecture support, the
ability to securely assign USB devices to VirtualBox instances, and the
update of the Muen separation kernel and the seL4 microkernel. The
summary of the changes is as follows:

- Assignment of USB devices to virtual machines
- New support for the RISC-V CPU architecture
- GUI stack usability improvements
- Device drivers
  - Reconfigurable USB host-controller driver
  - Custom USB mass-storage driver
  - Improved audio output on Linux
- Libraries and applications
  - New "Genode world" repository for 3rd-party software
  - Updated lynx, OpenSSH, tar, libssh, lighttpd
- Platforms
  - Enhanced SMP and cache support for base-hw
  - Muen SK version 0.7 with MSI support
  - seL4 version 2.1

The complete story about these and many more improvements is covered by
the release documentation:

  http://genode.org/documentation/release-notes/16.02

Best regards
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

------------------------------------------------------------------------------
Site24x7 APM Insight: Get Deep Visibility into Application Performance
APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
Monitor end-to-end web transactions and take corrective actions now
Troubleshoot faster and improve end-user experience. Signup Now!
http://pubads.g.doubleclick.net/gampad/clk?id=272487151&iu=/4140
_______________________________________________
genode-main mailing list
gen...@li...
https://lists.sourceforge.net/lists/listinfo/genode-main

FOSDEM 2016

[Norman F. <nor...@ge...>]

Hello everyone,

hereby, I'd like to remind you of FOSDEM 2016, which takes place during
30 and 31 of January in Brussels. See https://fosdem.org/2016/ to learn
more about the world's biggest gathering of open-source and
free-software enthusiasts.

This year, Genode will show a strong presence again. On Saturday, Emery,
Martin, and me will contribute to the microkernel devroom
(https://fosdem.org/2016/schedule/track/microkernels/). On Sunday, I'm
taking the opportunity to present the Turmvilla scenario at the desktops
devroom. Below, you can find the summary of the Genode-related parts of
the FOSDEM schedule.


Saturday, January 30
--------------------

Microkernel devroom (K.4.601) at *10:40*

  Norman Feske
  "An exploration of the seL4 kernel from Genode's perspective"
  https://fosdem.org/2016/schedule/event/microkernels_genode_sel4/

Microkernel devroom (K.4.601) at *14:10*

  Emery Hemingway
  "Porting Nix to Genode - Package management without a canonical
   file system"
  https://fosdem.org/2016/schedule/event/microkernels_genode_nix/

Microkernel devroom (K.4.601) at *15:55*

  Martin Stein
  "Genode's TrustZone demo on the USB Armory"
  https://fosdem.org/2016/schedule/event/microkernels_genode_usb_armory/


Sunday, January 31
------------------

Desktops devroom (K.4.401) at *10:20*

  Norman Feske
  "Genode as Desktop OS"
  https://fosdem.org/2016/schedule/event/genode_as_a_desktop_os/


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

Genode Hack'n'Hike 2016

[Martin S. <mar...@ge...>]

Hello everyone,

The Hack'n'Hike 2016 is approaching. During the 27th - 30th of May we'll
gather again in a cosy accommodation to
enjoy outdoor activities, collaborative hacking, and relaxation.

For everyone who's interested in getting involved with the community,
catching up, or just hanging out with the Genode crowd - feel welcome to
join us in the Gutshaus Heeselicht:

Gutshaus Heeselicht [3], Hofestr. 1a, 01833 Stolpen, district Heeselicht
Germany [4]

There is still room for more participants. Genode Labs sponsors the
event. So your participation/accommodation is free. *To simplify
organization for us, please let us know till the 26th of January if you
like to join in*. You can do so by writing to [1] or commenting on [2].
However, if you don't know by now whether you can participate, you may
join us later as well.

For further information, please have a look at [2]. Also if you have
suggestions or questions regarding the Hack'n'Hike, don't hesitate to
write to the above locations.

Best regards,
Martin

[1] hac...@ge...

[2] https://github.com/genodelabs/genode/issues/1544

[3] http://www.gutshaus-heeselicht.de

[4]
https://www.google.de/maps/place/Gutshaus+Heeselicht/@51.0057638,14.0968323,17z/data=!4m2!3m1!1s0x4709b0047bc32663:0xe599b8be1a2da696?hl=en

Announcement: Genode OS Framework version 15.11 released

[Christian H. <chr...@ge...>]

The current release focuses on Genode as a desktop operating system
and brings lots of improvements in the whole software stack in this
regard. On the lower end, we ported the Intel graphics adapter driver
from Linux, which enables the use of multiple displays and dynamically
configure the screen resolution and connectors. The way up the stack
we added secure copy-paste in form of a clipboard component, which
supports configuration of the information flow and counters covert
communication. On the top, we extensively improved our GUI
implementation, most prominently visible by the ability to change the
window decorator on run time. The highlights of version 15.11 are

  - Desktop OS features
    - Vastly improved GUI stack
    - Dynamic audio-mixer settings
    - Copy and paste between subsystems
  - New VFS component and VFS improvements
  - New LOG aggregator
  - Improved support for dynamic component configurations
  - VirtualBox support for 64-bit guest OSes
  - Device drivers
    - Intel KMS framebuffer driver
    - Framebuffer driver for Exynos 4
    - AHCI for non-NCQ devices
    - Ability to connect to hidden wireless networks
  - Platforms
    - Xilinx Zynq-7000 support, including networking
    - Improved TrustZone support on USB Armory
    - Simplified memory management on NOVA
  - Booting via iPXE over HTTP
  - New tool for creating preconfigured U-Boot images

All improvements of the current release are covered by the release
documentation

  http://genode.org/documentation/release-notes/15.11

Kind regards

-- 
Christian Helmuth
Genode Labs

http://www.genode-labs.com/ · http://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

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

Announcement: Genode OS Framework version 15.08 released

[Christian H. <chr...@ge...>]

The current release is characterized by our efforts to use Genode as
day-to-day operating system. From this background, we packed quite a
few improvements regarding user GUI experience, VirtualBox robustness
and performance, integration of native Genode applications and guest
OSes as well as tools to inspect the system behavior into Genode
15.08. Beyond that, we're proud to integrate community contributions
as the support to run Genode base-hw on the Muen separation kernel on
x86_64 and extended device-driver support for Raspberry Pi and
Odroid-X2.

In short, version 15.08 comes with the following highlights:

  - Genode/NOVA used as day-to-day operating system
  - Genode on top of the Muen separation kernel
  - Kernel-resource management on NOVA and our custom base-hw kernel
  - Base framework and low-level OS infrastructure
    - Improved audio support
    - Unified networking components
    - Enhanced tracing and file-system facilities
    - Low-complexity software rendering
  - Device drivers
    - Raspberry Pi and Odroid-X2 on Fiasco.OC, including
      USB support
    - BCM57cxx network cards
  - VirtualBox
    - Guest-host integration (policy-based mouse shapes, dynamic
      adaptation to screen size changes, audio)
    - Multi-processor support

Those and many more improvements are illustrated by the release
documentation

  http://genode.org/documentation/release-notes/15.08

Best regards
-- 
Christian Helmuth
Genode Labs

http://www.genode-labs.com/ · http://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

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

Celebrating Genode's 7th Anniversary

[Norman F. <nor...@ge...>]

Dear Genode community,

it has been 7 years since we officially published the first version of
the Genode OS Framework. Like every year, we want to celebrate our
anniversary together with you! Every year of our company's history was
special. But this year, Genode has finally reached the point where we
started using it as our regular day-to-day OS. When we started our
company, this was our dream. You can imagine our excitement about our
dream having become true.

Let us get together to celebrate our past achievements and the many
prospects that lay in front of us! Following the tradition of the past
years, we invite you to a barbecue and campfire at the river Elbe:

  Google Maps: http://goo.gl/maps/C0luj

  25th of August, 6 pm near Drachenschänke in Dresden

Please note the location that changed from last year!

We will accommodate you with a beautiful scenery at the river, a choice
of beverages, grilled vegetarian or non-vegetarian food, and the company
of the local operating-systems community. If you are going to attend, we
would greatly appreciate a short note from you to ease our preparations:

  in...@ge...

Best regards
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

Announcement: Genode OS Framework version 15.05 released

[Norman F. <nor...@ge...>]

I am happy to announce the version 15.05 of the Genode OS Framework,
which represents the most comprehensive release in our history. Its most
visible feature is a completely new written documentation in book form.
On the technical side, the highlights of the release are:

  - Comprehensive architectural documentation
  - Feature completion of the our custom kernel
    - Kernel-protected capabilities
    - Principal support for the 64-bit x86
    - Dynamic thread weights
  - Revised device-driver infrastructure
  - Device drivers
    - New AHCI driver
    - Multi-touch support
    - Audio drivers ported from OpenBSD
    - SD-card drivers for i.MX53 and Raspberry Pi
    - Board support for i.MX6-based Wandboard
  - Support for GPT partitions
  - Proof-of-concept support for the seL4 kernel
  - NOVA kernel mechanism for signals
  - Tool chain updated to GCC 4.9.2 and binutils 2.25

These and many more improvements are described in the release documentation:

  http://genode.org/documentation/release-notes/15.05

Best regards
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

Genode Hack'n Hike 2015

[Martin S. <mar...@ge...>]

Hello everyone,

This years Hack'n'Hike during 22nd -25th of May is approaching. Like in
the last years, we'll gather for several days in a cosy accommodation to
enjoy outdoor activities, collaborative hacking, and relaxation.

For everyone who's interested in getting involved with the community,
catching up, or just hanging out with the Genode crowd - feel welcome to
join us in the so-called Turmvilla:

Hermannsbad 9, 02953 Bad Muskau, Germany
http://www.turmvilla.de/www/

There is still room for more participants. Genode Labs sponsors the
event. So your participation/accommodation is free. *To simplify
organization for us, please let us know till the 7th of May if you like
to join in*. You can do so by writing to [1] or commenting on [2].

[1] hac...@ge...
[2] https://github.com/genodelabs/genode/issues/1256

Also if you have suggestions or questions regarding the Hack'n'Hike,
don't hesitate to write to the above locations.

Best regards,
Martin

An in-depth look into the ARM virtualization extensions

[Stefan K. <ste...@ge...>]

Hello everyone,

as already announced, Genode's recent release 15.02 introduces
virtualization support for ARM to our custom base-hw kernel. Due to the
brisk demand regarding our prior article about ARM TrustZone, we decided
to provide in-depth information about our virtualization work again. If
you are interested in this topic, you may consider the
following article, which was published right now:

  http://genode.org/documentation/articles/arm_virtualization

I hope it provides a helpful insight into ARM virtualization in general
and our related work in particular.

Best regards
Stefan

-- 
Stefan Kalkowski
Genode Labs

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

Announcement: Genode OS Framework version 15.02 released

[Christian H. <chr...@ge...>]

According to our road map, the overall theme of 2015 is the
consolidation and cultivation of the existing feature set rather than
the conquering of new grounds. Along these lines, the current release
brings with virtualization support on ARM one prominent feature but
plenty of changes regarding testing, stability, and performance
improvements. The highlights are

  - Virtualization on ARM
  - Modular tool kit for automated testing
  - Improved performance of VirtualBox on NOVA
  - Libraries and protocol stacks
    - Update of rump-kernel based file systems
    - Ports of sqlite and libbz2
  - Device drivers
    - Support for USB touchscreen devices
    - New wireless configuration interface
    - New USB session interface
  - Platforms
    - Added support for the USB Armory board
    - IPC helping on the base-hw kernel
    - Out-of-order page-fault handling on NOVA

Following our tradition, the extensive release documentation is
available from

  http://genode.org/documentation/release-notes/15.02

and covers all additions and changes in detail.

Best regards
-- 
Christian Helmuth
Genode Labs

http://www.genode-labs.com/ · http://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

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

Announcement: Genode OS Framework version 14.11 released

[Christian H. <chr...@ge...>]

With this year's November release we close one of the last functional
gaps to employ Genode as day-to-day operating system on modern
laptops. The support for Intel WiFi hardware incl. WPA comes as a
component that just snaps in place beside out support for wired NICs.
The second major improvement is the new scheduler for or custom HW
kernel that supports trading of CPU resources among Genode subsystems,
similarly to how memory is managed on Genode. The highlights of this
release are

  - Intel wireless stack
  - New CPU scheduler for the base-hw kernel
  - New dynamic linker
  - VirtualBox version 4.3.16 running on NOVA
  - Updated Seoul VMM running on NOVA
  - New GUI-architecture components
  - Improved integration of Qt5
  - Extended Raspberry-Pi driver support
  - Tool-chain update to GCC 4.7.4

The whole story is available in the release documentation

  http://genode.org/documentation/release-notes/14.11

Happy hacking

-- 
Christian Helmuth
Genode Labs

http://www.genode-labs.com/ · http://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

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