Files
genode/repos/base-linux

This repository contains the Linux-specific implementation of Genode.