Hi,
the repository and snapshots have been updated and I'm happy to announce a couple of new features: - L4Re supports ARM virtualization (HYP mode) now. There's a 'vmm' package that allows to run unmodified Linux, however, it might still have some rough edges. - With that ARM exception error codes have been changed to use HYP's HSR style, also for non-HYP kernels! - gcc-4.9 support, including libstdc++, and preparations for gcc-5 - EFI is available as a boot method now, both in 32 and 64 bit modes - x86 power management has been improved - Stackprotector support is available in L4Re now - The console server 'cons' has been added - Fiasco runs on more ARM targets, including Xilinx Zynq (Zedboard, Parallela), OMAP5, Allwinner (Cubieboard, Cubietruck) - More examples have been added - 3rd-party packages have been updated - L4Linux has been upgraded to version 3.16.
Adam
Congrats! Awesome stuff!
Sent from my iPhone
On Sep 28, 2014, at 3:38 PM, Adam Lackorzynski adam@os.inf.tu-dresden.de wrote:
Hi,
the repository and snapshots have been updated and I'm happy to announce a couple of new features:
- L4Re supports ARM virtualization (HYP mode) now. There's a 'vmm' package that allows to run unmodified Linux, however, it might still have some rough edges.
- With that ARM exception error codes have been changed to use HYP's HSR style, also for non-HYP kernels!
- gcc-4.9 support, including libstdc++, and preparations for gcc-5
- EFI is available as a boot method now, both in 32 and 64 bit modes
- x86 power management has been improved
- Stackprotector support is available in L4Re now
- The console server 'cons' has been added
- Fiasco runs on more ARM targets, including Xilinx Zynq (Zedboard, Parallela), OMAP5, Allwinner (Cubieboard, Cubietruck)
- More examples have been added
- 3rd-party packages have been updated
- L4Linux has been upgraded to version 3.16.
Adam
Adam adam@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/
l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
l4-hackers@os.inf.tu-dresden.de