title: Where/how does the kernel loads statically linked modules?
body: <p>Looking at <a href="https://github.com/torvalds/linux/blob/v4.19/init/main.c#L531" rel="nofollow noreferrer">init/main.c#start_kernel</a> it's not clear where the statically linked kernel modules are loaded, neither how the kernel gets a list of them.</p>
  <p>So, <strong>where are the statically linked kernel modules loaded</strong>?</p>