mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-01 16:30:07 +00:00
Normally this is done in 'platform_device_add()' but let's do it in our 'platform_device_register_simple()' implementation.
Normally this is done in 'platform_device_add()' but let's do it in our 'platform_device_register_simple()' implementation.