mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-03 09:40:44 +00:00
74d826d1ad
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