l4linux 编译,Genode 11.05拥有了新的用于类型安全IPC的新API，运行L4Linux

Genode 11.05 Gets New API for Type-safe IPC, Runs L4Linux

Genode 11.05拥有了新的用于类型安全IPC的新API，运行L4Linux

posted by nfeske on Thu 26th May 2011 11:41 UTC

发表于：2011年5月25日 北京时间19:41

The concern for efficient and easy-to-use inter-process communication is prevalent among microkernel-based operating systems. Genode has always taken an unorthodox stance on this subject by disregarding the time-tested standard solution of using an IDL compiler in favour of sticking to raw C++ mechanisms. The new version 11.05 of the OS framework takes another leap by introducing a brand new API for implementing procedure calls across process boundaries, facilitating type safety and ease of use, yet still not relying on external tools. Furthermore, the platform support for the Fiasco.OC kernel has been extended to the complete feature set of the framework. The most significant new features are L4Linux (on Fiasco.OC), an experimental integration of GDB, ARM RealView PBX device drivers, and device I/O support for the MicroBlaze platform.

有关高效与易用的IPC(inter-process communication，进程间通信)的考究广泛存在于基于微内核的操作系统当中。Genode不理会久经考验的使用IDL编译器、倾向于坚持原始 C++机制的标准解决方案，在这一主题上显得那么的独树一帜。该操作系统构架

新版本11.05通 过引入一个崭新的，用以实现跨进程边界的过程调用、类型安全和简单易用的推进和对外部工具独立的API，实现了又一次飞跃。此外，Fiasco.OC内核 的平台支持已经被扩展到了该框架的全特性集之中。最引入注目的新特性是(Fiasco.OC之上的)L4Linux，GDB的一个实验性集成，ARM实时 渲染交换机设备(ARM RealView PBX device)驱动，以及用于MicroBlaze平台的设备I/O支持。(详细内容请见原文)