This website requires JavaScript.
Explore
Help
Sign In
ExternalVendorCode
/
genode
Watch
1
Star
0
Fork
0
You've already forked genode
mirror of
https://github.com/genodelabs/genode.git
synced
2025-01-25 22:00:32 +00:00
Code
Issues
Actions
Packages
Projects
Releases
Wiki
Activity
genode
/
repos
/
gems
/
recipes
History
Martin Stein
53821a6285
depot_download.run: raise quotas for sel4
...
Give chroot and report_rom 2M instead of 1M to satisfy Sel4 on x86 64-bit. Issue
#2781
2018-05-03 15:31:22 +02:00
..
api
depot: update recipe hashes
2018-04-19 12:39:20 +02:00
pkg
depot: raw/fonts_fs recipe
2018-05-03 15:31:18 +02:00
raw
depot_download.run: raise quotas for sel4
2018-05-03 15:31:22 +02:00
src
menu_view: VFS-based font handling
2018-05-03 15:31:18 +02:00