mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-05 10:13:15 +00:00
The new tool `create_dummies` easily lists missing references, while porting subsystems of the Linux kernel to Genode, e.g., device drivers. Moreover it can automatically generate dummy implementations for functions and global variables. Fixes #4156