The warnings were false positives though.
This repository contains the Linux-specific implementation of Genode.