https://www.microsoft.com/en-us/d/windows-dev-kit-2023/94k0p67w7581

 

UEFI can be way how to boot it maybe

2 hours ago, m][sko said:

UEFI can be way how to boot it maybe

With extensive hacking, in theory, perhaps, in reality? No.

Same situation is with Lenovo X13s featuring the same SoC. You can boot Linaro hacked Debian with kernel 6.1.y / 6.2.y leaning on device tree.

@balbes150 Can you explain how UEFI is working on arm?

Is it passing some dts or how the linux kernel know what drivers should it start ?

19 часов назад, m][sko сказал:

Can you explain how UEFI is working on arm?

Is it passing some dts or how the linux kernel know what drivers should it start ?

Running u-boot-EFI uses DTBS, which are described in grub.cfg. There is an EDK2-EFI variant, it uses two variants - DTB or ACPI.

Surface pro X is same hw as windows dev box 2023

https://github.com/linux-surface/surface-pro-x

i think the arm version of the surface pro 9 is close to the devkit - surface pro x is an older design using a snapdragon 8cx gen2 (i think) and not the gen3 the devkit is using and which is a very different soc

https://github.com/merckhung/linux_on_arm64_laptop

https://github.com/merckhung/linux_ms_dev_kit/commit/195ccc926158b49c33edbccde99685a497032c3b

 

I was able to boot

with this branch

https://github.com/jhovold/linux/tree/wip/sc8280xp-v6.2-rc8

and with microsoft dev kit patches on top of that

https://github.com/shawnguo2/linux/commits/devkit-dt-6.2-rc5

 

and this kernel command line

 clk_ignore_unused efi=novamap earlycon=efifb console=efifb 

 

build in ethernet don't work as not all usb-c ports are active

so you will need to connect usb-c ethernet  to usb-c ports on the side

 

for speed

Cpufreq-info show 3GHz but device is running as on lowest freq(800MHz) as that is my experience with running benchmarks 

Edited March 4, 20233 yr by m][sko

My 2c
https://github.com/armbian/build/pull/4904

When I add more stuff to device tree it started to run on full speed

It is 2.5x faster then rock 5

But still

1.display port switched off after booting

2.build in ethernet isn't working and usb2 ports  isn't working

Edited March 11, 20233 yr by m][sko

when windows dev boot from acpi

https://github.com/shawnguo2/linux/commits/wdk2023-acpi-6.2

 

display is working over efifb

build in ethernet is working

build in wifi use ath11k and armbian firmware is missing all of this https://git.kernel.org/pub/scm/linux/kernel/git/firmware/linux-firmware.git/log/ath11k/WCN6855/hw2.0/

all usb ports working

cpufreq don't

I got the wdk2023 pretty solidly up and running here . There's also an Ubuntu 23.04 USB bootable image available. Could also be done with armbian, I modified the bookworm image and booted with my patched kernel.