genode

mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00

Files

Alexander Boettcher 7c5f879b91 squash "base: use Dataspace_attr in io_mem _map_local(...)" - rename to "base: use Map_local_result in io_mem _map_local(...)"

Issue #5406

2025-01-16 11:34:47 +01:00

Update README files

2023-03-13 14:32:53 +01:00

2021-01-25 13:58:09 +01:00

2023-07-14 12:06:31 +02:00

2020-09-17 10:14:07 +02:00

2020-09-17 10:14:07 +02:00

2024-12-11 08:35:22 +01:00

2023-05-30 12:03:26 +02:00

2025-01-16 11:34:47 +01:00

Remove '_drv' suffix

2024-06-20 12:54:30 +02:00

README

Update README files

2023-03-13 14:32:53 +01:00

This repository contains the support of Genode for the OKL4 kernel version 2.1.