mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-03 01:30:41 +00:00
53e44f8bfd
This change avoids many repetetive Genode:: prefixes, making the code easier to read. The patch also includes a few consistency fixes regarding include guards and file headers. It also renames Platform_device::String to Platform_device::Device:name. Issue #2243