mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-09 20:51:16 +00:00
This patch principally allows to install symlinks to out-of-Linux tree drivers into the contrib directory. Those files are then considered for the 'lx_emul.h' symlink procedure. Is useful as a temporary mechanism while developing the rpi USB driver.