Genode 12.05: new USB stack, runs GCC, plays media
With the ability to run the GNU tool chain including GCC, binutils, and GNU make, the Genode OS framework has taken another big step towards becoming a general-purpose OS. The just released version 12.05 introduces Genode's file-system infrastructure along with support for stacked file systems, extends the framework API with support for configuring system components on-thy-fly, and adds media replay capabilities.
