genode/base-tukija at dd0c8b10dc798cdeab9842c5a4e1cddc22310f64 - genode - dk0.dev

denshooter/genode

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

Files

History

Michael Mueller dd0c8b10dc Added support for habitats.

2025-12-08 18:38:02 +01:00

..

Integrate Tukija as a seperate kernel rather than modifying base-nova. This may improve upgradability in the future.

2025-02-06 16:22:46 +01:00

Added support for habitats.

2025-12-08 18:38:02 +01:00

Made hoitaja instead of init to core's child component. This way, all components specified by the XML configuration are treated as children of Hoitaja and thus proper cells.

2025-02-21 15:38:48 +01:00

Integrate Tukija as a seperate kernel rather than modifying base-nova. This may improve upgradability in the future.

2025-02-06 16:22:46 +01:00

Integrate Tukija as a seperate kernel rather than modifying base-nova. This may improve upgradability in the future.

2025-02-06 16:22:46 +01:00

Integrate Tukija as a seperate kernel rather than modifying base-nova. This may improve upgradability in the future.

2025-02-06 16:22:46 +01:00

Integrate Tukija as a seperate kernel rather than modifying base-nova. This may improve upgradability in the future.

2025-02-06 16:22:46 +01:00

Integrate Tukija as a seperate kernel rather than modifying base-nova. This may improve upgradability in the future.

2025-02-06 16:22:46 +01:00

Added support for habitats.

2025-12-08 18:38:02 +01:00

.clang-format

Moved to clangd as language server.

2025-05-05 18:09:19 +02:00

.clangd

Moved to clangd as language server.

2025-05-05 18:09:19 +02:00

README

Integrate Tukija as a seperate kernel rather than modifying base-nova. This may improve upgradability in the future.

2025-02-06 16:22:46 +01:00

README

This repository contains the port of Genode to the NOVA microhypervisor.

For more information on this kernel, please refer to the official website.

:[http://hypervisor.org]: Official website for the NOVA microhypervisor.