Branches - skalk/genode - Codeberg.org

This website requires JavaScript.

skalk/genode

Fork 0

forked from genodelabs/genode

Code Pull requests Activity

15,368 commits 6 branches 79 tags 5.5 MiB

Default branch

main

fd8b737a6c · depot: update recipe hashes · Updated 2026年05月12日 07:35:39 +02:00

ZIP TAR.GZ

Branches

merge_to_staging

3958329229 · hw: enable core to upgrade its capability slab · Updated 2026年06月24日 16:41:46 +02:00 skalk

121

ZIP TAR.GZ

hw_fpu_optimization

aa64a6c87c · fixup · Updated 2026年06月12日 15:58:44 +02:00 skalk

ZIP TAR.GZ

release_notes

6dce8e4435 · release_notes: my fixes · Updated 2026年05月28日 13:43:48 +02:00 skalk

ZIP TAR.GZ

hw_vpid_enabling

c1fe6daa2e · hw: enable VPID (WiP) · Updated 2026年05月21日 15:55:53 +02:00 skalk

ZIP TAR.GZ

staging

df453a6784 · fixup platform (accounting costs IOMMU) · Updated 2026年04月15日 11:10:39 +02:00 skalk

355

282

ZIP TAR.GZ

Delete branch

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?