Re: dde_linux module loading

Hallo Josef, thanks for your tips. I went through the code and found the dwc3 driver which uses `module_platform_driver`. In the source it gets called with `module_platform_driver(dwc3_driver)` and the declaration in Genode is `extern "C" void module_dwc3_driver_init();`. The efifb framebuffer

Re: dde_linux module loading

Hello Johannes, * Johannes Kliemann [2017-04-26 15:00:35 +0200]: > how are modules in dde_linux loaded exactly? For example the i915 driver > seems to be loaded with `module_i915_init` which somehow connects to > `module_init(i915_init)` but I can't see how this

dde_linux module loading

Hi, how are modules in dde_linux loaded exactly? For example the i915 driver seems to be loaded with `module_i915_init` which somehow connects to `module_init(i915_init)` but I can't see how this is done. I want to add a new driver which is loaded by `module_platform_driver(...)`. What steps are