Logo
Explore Help
Register Sign In
denshooter/genode
1
0
Fork 0
You've already forked genode
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
staging
genode/repos/base-okl4
History
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
..
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: de-duplicate src/lib/base/platform.cc
2023-07-14 12:06:31 +02:00
patches
okl4: use python2 explicitely in elfweaver tool
2020-09-17 10:14:07 +02:00
ports
okl4: use python2 explicitely in elfweaver tool
2020-09-17 10:14:07 +02:00
recipes/src/base-okl4
depot: update recipe hashes
2024-12-11 08:35:22 +01:00
run
base: use [build_artifacts] in run scripts
2023-05-30 12:03:26 +02:00
src
squash "base: use Dataspace_attr in io_mem _map_local(...)" - rename to "base: use Map_local_result in io_mem _map_local(...)"
2025-01-16 11:34:47 +01: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.
Powered by Gitea Version: 1.24.5 Page: 141ms Template: 5ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API