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 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
705f262eb9facb2b9e33d34bf521c1d402bd8dcb
genode/repos/os
History
Michael Mueller 539bb07995 Made TASKING service, Suoritin, a member of the Habitat rather than Hoitaja. This way the habitat has direct access to the Suoritin sessions without sending pointers around. Also added new entrypoint for Hoitaja's timer.
2023-10-13 19:01:45 +02:00
..
doc
Remove SIGNAL/CAP/RAM services from run scripts
2022-04-13 08:08:00 +02:00
include
Updated session interface and fixed off-by-one bug in interface allocator.
2023-10-13 18:59:29 +02:00
lib
Refactored sandbox implementation to make its functionality available to alternative implementations of Init, e.g. Hoitaja.
2023-06-13 18:44:04 +02:00
recipes
Updated hash for shim.
2023-08-07 18:00:09 +02:00
run
platform_drv: implement PCI powering and reset
2022-10-12 12:09:37 +02:00
src
Made TASKING service, Suoritin, a member of the Habitat rather than Hoitaja. This way the habitat has direct access to the Suoritin sessions without sending pointers around. Also added new entrypoint for Hoitaja's timer.
2023-10-13 19:01:45 +02:00
xsd
Remove NIC server role from drivers
2022-05-25 12:19:31 +02:00
README
API documentation refinements
2017-05-31 13:16:21 +02:00

README

This source-code repository contains genuine low-level OS components and
interfaces of Genode. It solely depends on the framework's base API.
Powered by Gitea Version: 1.24.5 Page: 522ms Template: 6ms
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