ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-03-01 04:36:13 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
19fe5da9be
genode/repos/base-linux
History
Christian Helmuth 491be000ca depot: update recipe hashes
2017-11-09 12:19:59 +01:00
..
etc
…
lib
…
recipes
depot: update recipe hashes
2017-11-09 12:19:59 +01:00
run
Increase test RAM quotas for sel4 64-bit
2017-11-06 13:57:23 +01:00
src
linux: stack-area handling with recent Linux kernels
2017-10-05 17:40:00 +02:00
README
…

README 

This repository contains the Linux-specific implementation of Genode.