mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 16:35:28 +00:00
cda07b7da0
This commit replaces the stateful 'Ipc_client' type with the plain function 'ipc_call' that takes all the needed state as arguments. The stateful 'Ipc_server' class is retained but it moved from the public API to the internal ipc_server.h header. The kernel-specific implementations were cleaned up and simplified. E.g., the 'wait' function does no longer exist. The badge and exception code are no longer carried in the message buffers but are handled in kernel-specific ways. Issue #610 Issue #1832
This repository contains the L4ka::Pistachio-specific implementation of Genode. Please see the documentation at 'base-pistachio/doc/pistachio.txt' for further instructions on building and using Genode on the L4ka::Pistachio kernel.