ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-06-24 09:46:44 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
Files
staging
genode/repos/base-okl4
History
Alexander Boettcher 4086d4ce85 core: re-factor io_mem_session implementation 
Replace _map_local and _unmap_local in the I/O mem session component
by _acquire and _release. The _acquire and _release must be implemented
per base-<kernel>.

The commit is a preparation commit for seL4, so that it can implement
_acquire differently in a subsequent commit to solve #5597 actually.

Issue #5597
2025-06-12 15:56:59 +02:00
..
contrib/generated
Update README files
2023-03-13 14:32:53 +01:00
etc
base: remove SPEC variables of boards (fix #3971)
2021-01-25 13:58:09 +01:00
lib
base-okl4: relax warnings to fix build with GCC 14
2025-05-27 08:32:05 +02:00
patches
okl4: use python3
2025-04-10 14:55:59 +02:00
ports
okl4: use python3
2025-04-10 14:55:59 +02:00
recipes/src/base-okl4
depot: update recipe hashes
2025-05-28 08:23:47 +02:00
run
base-okl4: use 'assert'-proc in run scripts
2025-02-28 14:41:46 +01:00
src
core: re-factor io_mem_session implementation
2025-06-12 15:56:59 +02:00
tool
Remove '_drv' suffix
2024-06-20 12:54:30 +02:00
README
Update README files
2023-03-13 14:32:53 +01:00

README 

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