Tl;dr: it boots OpenBSD successfully already, so getting Linux to run can't be *... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		zozbot234 on Nov 1, 2022 \| parent \| context \| favorite \| on: Attempting Linux on Microsoft Dev Kit 2023 Tl;dr: it boots OpenBSD successfully already, so getting Linux to run can't be that hard even though mainline support is obviously not here yet. Someone will figure out how to boot a Linux kernel on this, probably the PostmarketOS or Asahi folks.

alexellisuk on Nov 1, 2022 [–]

Mainline support is available, we are missing the device tree blobs for this specific unit. OpenBSD AFAIK boots in APCI mode so doesn't require them.

zozbot234 on Nov 1, 2022 | [–]

So Linux ought to boot on this hardware if acpi=force (documented at https://www.kernel.org/doc/html/latest/arm64/arm-acpi.html ) is used?

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact