linux_ms_dev_kit icon indicating copy to clipboard operation
linux_ms_dev_kit copied to clipboard

Published 20 hours ago • verified publisher icon jglathe

EL2 boot on wdk

Open pbo-linaro opened this issue 5 months ago • 16 comments

Thanks for the great work you've done here!

I'm using a Windows Devkit, and booting from a usb-c disk, with mini DP -> HDMI output. I've been able to boot Ubuntu_Desktop_24.10_wdk2023_6.13rc, and update to kernel 6.16-rc2 prebuilt provided.

I would be interested to boot in EL2 to support virtualization. I tried 6.13-rc7-el2-1 prebuilt, but boot is hanging early (just before resolution is updated in early boot). I'm sure it's not video output that has a problem only, as ssh server is not coming up.

Before sending any dmesg output:

  • Which branch/kernel do you recommend?
  • Are prebuilt el2 kernels supposed to work?
  • Any special kernel parameter needed?

Thanks, Pierrick

pbo-linaro avatar Jun 21 '25 04:06 pbo-linaro