{"article":{"slug":"un-hanging-the-hp-envy-17-da0013dx-for-openbsd","title":"Un-hanging the HP Envy 17-DA0013dx for OpenBSD","subtitle":null,"summary":"Ian Darwin describes getting OpenBSD running on an HP Envy 17 laptop whose boot hung during device probing: verbose autoconf output via ddb, a panic that pointed to buggy ACPI, the BIOS update that fixed it, swapping NVMe drives and opening the case, notes on the hardware, remaining minor issues, and lessons learned.","content_type":"blog_post","language":"en","canonical_url":"https://darwinsys.com/blog/20260925-hp-envy-17/","author":{"name":"Ian Darwin","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Ian Darwin's Web Site","url":"https://darwinsys.com/","listing_slug":null,"listing":null},"topics":[{"name":"Hardware","slug":"hardware","url":"https://listedarticles.com/topics/hardware"},{"name":"Debugging","slug":"debugging","url":"https://listedarticles.com/topics/debugging"},{"name":"Open Source","slug":"open-source","url":"https://listedarticles.com/topics/open-source"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":1804,"reading_minutes":8,"published_at":"2026-09-26T02:27:18.000Z","added_at":"2026-10-18T11:13:10.643Z","updated_at":"2026-10-18T11:13:10.643Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/un-hanging-the-hp-envy-17-da0013dx-for-openbsd","markdown_url":"https://listedarticles.com/articles/un-hanging-the-hp-envy-17-da0013dx-for-openbsd.md","example":false,"citation":"Ian Darwin, Ian Darwin's Web Site. \"Un-hanging the HP Envy 17-DA0013dx for OpenBSD.\" 26 Sept 2026. https://darwinsys.com/blog/20260925-hp-envy-17/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://darwinsys.com/blog/20260925-hp-envy-17/"},"body_markdown":"I recently acquired a lightly-used HP Envy 17\" laptop, model DA0013dx, and of course wanted to run\n[OpenBSD](https://openbsd.org/) on it.\nIt came with Windows 11 on an internal NVME drive.\nBooting OpenBSD from a USB device failed fast: it hung.\nTo get there, first of course I had to disable \"secure boot\" in the BIOS.\nThen, the boot process hung part way through the device probe section of the boot process.\nFamiliar to BSD users since 1979, probing is where the OS tries every device it knows about and,\nif the device responds appropriately, marks it active and prints a short message on the console.\nOther OSes go through the same process, but the three mainstream OSes simply choose to hide it under a GUI.\nBoth Linux and macOS have a Unix-derived `dmesg` command which prints the messages that are hidden at boot.\nOn Windows, you have to into System Settings or some such to get hardware information.\n\nSo. On the HP Envy in question, the device probing stops after the iwx(4) (Intel AX211 WiFi) probe.\nThis implies that some device after the IWX in the probe sequence does something bad when trying its device.\nHow do we find out which device is at fault?\n\n## Getting Past Device Probe Hangs\n\nIn the simplest case, you would use ddb(4) on a debug kernel:\n\n- `boot -c bsd.gdb`\n This file is created as part of kernel building, so you may have to build your own kernel to get this.\n- At config prompt, enter `ddb` to enter kernel debugger\n- `write autoconf_verbose 1`\n- `continue` # back to config\n- `quit` # resume booting\n\nThis produces a massive stream of output, so fast that a normal video recorder at 24FPS will show\noverlapping text that’s hard to read.\nI did try several different kernels, and eventually got one to panic instead of hanging with no output.\nWith a bit of decrypting of a blurry video, I was able to read\nthe panic as `panic: cpu at apic id 0 already attached.`\nA bit of cogitation led me to suspect a defective ACPI/AML implementation.\nAnd that led me to the next giant leap: update the BIOS!\nSure enough, the machine was running a BIOS from 2024, the year the machine was first released.\nFirst releases these days often being really beta releases, I went looking for an update.\nA 2026 version was available, with numerous corrections, including the one that mattered.\nSince I hadn’t been able to clobber the Windows load, updating the BIOS was no problem,\nand the process ran smoothly.\nThen, booting off an external drive over USB booted into OpenBSD with no problem!\n\nThe next step was to swap the NVME drives: take the OpenBSD 4TB from my older laptop and install it here,\nkeeping the Windows-loaded 1TB aside in case of future BIOS updates.\nAnd yes, I remain paranoid enough to *remove the OpenBSD NVME when running MS-Windows*.\nBetter safe than sorry.\n\nHere we run into two areas that differ from the Framework laptop this is replacing, and make little annoyances for servicing.\nFirst, the screws holding the bottom of the HP’s case are not captive,\nso you can lose them if not careful (I was, and didn’t).\nSecond, the screws holding the bottom of the case carry Torx heads, while the screws holding the\nNVME itself use Philips (+) head. How hard would it have been for HP to make all the service screws\nhave the same head? Framework did this some years ago.\nSo maybe that’s a third: big companies should overcome their arrogance and look at what the\nnew kids on the block are doing.\n\nAfter the first set of screws was removed, there came a mighty struggle to get the case bottom off.\nIt’s held in on all four sides with press-fit couplers all along each edge, so you have to pry like mad to remove it.\nThe base is plastic, btw, so it flexes, but it’s still annoying.\nI guess you have to do that when making inexpensive plastic parts on an expensive laptop(?).\n\nInside the Beast\n\n![hp envy17 insides](https://darwinsys.com/images/hp-envy17-insides.jpg)\n\nFinally, I got to swap in the OpenBSD NVME. Powered it up. Nothing! Just a moment of silence.\nOh shite! I thought. Have I busted something inside!?\nWell, not so fast. Several minutes of doom-and-gloom later,\nI was starting to get the external OpenBSD drive ready again, when I got a BIOS screen about the CMOS\nbeing corrupt, is it OK to recompute? Of course it disappeared before I could read it all.\nRebooting again, I let it get back to this popup, accepted it, and, *mirabile dictu*,\nthe machine booted up completely.\nSeems these machines often get upset when you change memory or hard drive,\nand take some time and/or an OK click to settle down.\n\nSo, I now have the machine running -current with all my files from the older laptop.\nTada!\n\n## About the Laptop\n\nI’ve never had a 17\" laptop before, so its size and weight are, well, different.\nMy lightweight laptop backpack, which fits my [Framework 13](https://frame.work), simply won’t zip up around it!\nA larger backpack does, thankfully.\n\nReminder: we have two measures for any laptop, the screen diagonal and the actual physical width.\nBigger laptops cluster around 17\" diagonal, but most have a base \"only\" 15\" or 15.6\" wide.\nThe former measure is used in advertising, e.g., \"HP Envy-17\", while the latter is used in sizing\na backpack or carrying sleeve.\n\nThe HP originally shipped with a 65W power supply (there’s a model with an extra graphics card that ships with 100W).\nSo of course it runs with the 65W power supply from my Framework 13, but every so often (when running Windows)\nthere was a notice that HP recommends using an HP power supply.\n\nNote that there is a range of variations of the Envy 17, denoted by a string of characters and digits.\nSome of the detail listed here is specific to the DA0013dx model which I have.\nI got my Envy used, and it didn’t come with the official power supply, nor with the USB dock\nthat expands on its fixed set of ports (three USB-A, 2 USB-C/DP (one for power in), one HDMI,\nand a 1/8\" headphone jack).\nAgain, my Framework has a series of interchangeable ports, of which any 4 can be in use at ome time on the 13,\nor more on Framework’s larger laptops; this is great if you need a particular cable on the left or the right).\n\nThe screen is bright and beautiful, and works \"out of the box\" with OpenBSD’s X Windows system.\nThis Envy model has a 1920x1024 display and can drive an external HDMI monitor to 4K via the HDMI port,\nor a DisplayPort monitor on one of the USB-C ports.\nThe 1920x1024 is the 19:6 ratio that used on many monitors these days, but due to the\ndifferent sizes and resolutions, it takes quite some fiddling to update my XFCE4 layout just the way I wanted it.\nUnlike many lesser laptops, this features a touchscreen, which does work with OpenBSD’s ism(4)\n(trackpad and touchscreen) driver, with one important exception noted below.\n\nHere’s a screenshot of my XFCE4 setup.\n\n| | |\n| --- | --- |\n| xfce4 framework | xfce4 hp envy |\n| Framework (a while ago) | HP Envy-17 |\n\nThe CPU is a\n[Intel® Core™ Ultra 7 155H, 4484.32 MHz](https://www.intel.com/content/www/us/en/products/sku/236847/intel-core-ultra-7-processor-155h-24m-cache-up-to-4-80-ghz/specifications.html).\nWe’ll just call it 4.5GHz, the maximum speed. This is a \"Meteor Lake\" CPU, with several types of cores\n(6 Performance cores each with two threads,\n8 Efficient cores, and\n2 Low Power Efficient cores, for a total of 22 threads; shows as 22 CPUs in dmesg).\nThe Envy-17 is also available with the less expensive 120U CPU version.\n\nThis model ships with 16GB RAM but is available from HP configured with 32G.\nIt’s DDR-5 SODIMM memory, so you can in theory upgrade as much as you can afford.\nSimilarly, the Envy-17 is available configured with a 1 or 2 TB SSD;\nI moved my 4GB NVME SSD from the Framework into the HP Envy, and it works fine.\nMy Framework may someday be reborn by installing a newer motherboard with more CPU power than the Envy I have\n(, as per their promise and their culture, continues to bring out upgrades for all their models).\n\n## Minor nits:\n\nThe lid hinge is very stiff.\n\nThe keyboard seems a little off in terms of the row positions, but I guess that’s just down to whatever keyboard you’re used to.\nAnd the fact that it’s wider than most.\n\nThe official Intel stickers beside the touchpad are about the size of SD cards and I keep wanting to brush them off.\nGuess I’ll scrape them off when it gets too annoying.\n\nThere is an error in HP’s \"AML\",the ACPI Machine Language which tells the OS about the details of the hardware.\nTHis results in the error: `# AML PARSE ERROR (0x944): Undefined name: \\_SB_.PC00.LPCB.MXTP`.\nThis is a failed attempt at providing the MaXimum TemPerature that the CPU can run it without damage.\nIn this case, `acpitz` driver doesn’t know the max temp.\nI just set temp:high=90C in `/etc/sensorsd.conf`, a bit more conservative than the 100C that some laptops provide.\n\n## All that remains\n\nThere remain some minor issues to work out.\n\n- The AML problem mentioned above means that the ACPI doesn’t know the maximum temperature,\n so maybe the CPU will catch fire if I ask too much of it at a time.\n This is a likely \"won’t fix\".\n- There’s a DRM warning message at boot time, due to \"a call to a driver we don’t have\" (jsg@).\n There were previously several other errors, but most were fixed in a recent (pre-8.0) commit.\n- The driver for the Intel Wifi (AX210) gives a seemingly-harmless error at bootup:\n- When there are two monitors, the touch screen behaves like x = k\\*x (k is 2 if they’re both the same width, otherwise YMMV).\n This seems to be a fundamental issue with X.\n Most of these should get resolved shortly.\n\n ```\n iwx0: timeout waiting for master\n ```\n- sndio isn’t talking to the built-in speaker via audio device(s) properly; it works with usb headphones.\n I don’t care, because I don’t like annoying the people around me with sudden blasts of noise when some advertisement pops up.\n- When there are two monitors, the mouse works correctly\n but the touch screen behaves like x = k\\*x (k is 2 if they’re both the same width, otherwise YMMV).\n This seesms to be a fundamental issue with X.\n\nMost of these should get resolved eventually.\n\n## Lessons learned:\n\n- Carry many different screwdrivers.\n- When in doubt, update your PC’s BIOS.\n- Big computer companies: look around more.\n\n## Last words\n\nIf you want a modern laptop with a 16:9 touchscreen display to run OpenBSD, the HP Envy is not a bad choice.\n","body_html":"

I recently acquired a lightly-used HP Envy 17" laptop, model DA0013dx, and of course wanted to run\nOpenBSD on it.\nIt came with Windows 11 on an internal NVME drive.\nBooting OpenBSD from a USB device failed fast: it hung.\nTo get there, first of course I had to disable "secure boot" in the BIOS.\nThen, the boot process hung part way through the device probe section of the boot process.\nFamiliar to BSD users since 1979, probing is where the OS tries every device it knows about and,\nif the device responds appropriately, marks it active and prints a short message on the console.\nOther OSes go through the same process, but the three mainstream OSes simply choose to hide it under a GUI.\nBoth Linux and macOS have a Unix-derived dmesg command which prints the messages that are hidden at boot.\nOn Windows, you have to into System Settings or some such to get hardware information.

\n

So. On the HP Envy in question, the device probing stops after the iwx(4) (Intel AX211 WiFi) probe.\nThis implies that some device after the IWX in the probe sequence does something bad when trying its device.\nHow do we find out which device is at fault?

\n

Getting Past Device Probe Hangs

\n

In the simplest case, you would use ddb(4) on a debug kernel:

\n\n

This produces a massive stream of output, so fast that a normal video recorder at 24FPS will show\noverlapping text that’s hard to read.\nI did try several different kernels, and eventually got one to panic instead of hanging with no output.\nWith a bit of decrypting of a blurry video, I was able to read\nthe panic as panic: cpu at apic id 0 already attached.\nA bit of cogitation led me to suspect a defective ACPI/AML implementation.\nAnd that led me to the next giant leap: update the BIOS!\nSure enough, the machine was running a BIOS from 2024, the year the machine was first released.\nFirst releases these days often being really beta releases, I went looking for an update.\nA 2026 version was available, with numerous corrections, including the one that mattered.\nSince I hadn’t been able to clobber the Windows load, updating the BIOS was no problem,\nand the process ran smoothly.\nThen, booting off an external drive over USB booted into OpenBSD with no problem!

\n

The next step was to swap the NVME drives: take the OpenBSD 4TB from my older laptop and install it here,\nkeeping the Windows-loaded 1TB aside in case of future BIOS updates.\nAnd yes, I remain paranoid enough to remove the OpenBSD NVME when running MS-Windows.\nBetter safe than sorry.

\n

Here we run into two areas that differ from the Framework laptop this is replacing, and make little annoyances for servicing.\nFirst, the screws holding the bottom of the HP’s case are not captive,\nso you can lose them if not careful (I was, and didn’t).\nSecond, the screws holding the bottom of the case carry Torx heads, while the screws holding the\nNVME itself use Philips (+) head. How hard would it have been for HP to make all the service screws\nhave the same head? Framework did this some years ago.\nSo maybe that’s a third: big companies should overcome their arrogance and look at what the\nnew kids on the block are doing.

\n

After the first set of screws was removed, there came a mighty struggle to get the case bottom off.\nIt’s held in on all four sides with press-fit couplers all along each edge, so you have to pry like mad to remove it.\nThe base is plastic, btw, so it flexes, but it’s still annoying.\nI guess you have to do that when making inexpensive plastic parts on an expensive laptop(?).

\n

Inside the Beast

\n
\"hp
\n

Finally, I got to swap in the OpenBSD NVME. Powered it up. Nothing! Just a moment of silence.\nOh shite! I thought. Have I busted something inside!?\nWell, not so fast. Several minutes of doom-and-gloom later,\nI was starting to get the external OpenBSD drive ready again, when I got a BIOS screen about the CMOS\nbeing corrupt, is it OK to recompute? Of course it disappeared before I could read it all.\nRebooting again, I let it get back to this popup, accepted it, and, mirabile dictu,\nthe machine booted up completely.\nSeems these machines often get upset when you change memory or hard drive,\nand take some time and/or an OK click to settle down.

\n

So, I now have the machine running -current with all my files from the older laptop.\nTada!

\n

About the Laptop

\n

I’ve never had a 17" laptop before, so its size and weight are, well, different.\nMy lightweight laptop backpack, which fits my Framework 13, simply won’t zip up around it!\nA larger backpack does, thankfully.

\n

Reminder: we have two measures for any laptop, the screen diagonal and the actual physical width.\nBigger laptops cluster around 17" diagonal, but most have a base "only" 15" or 15.6" wide.\nThe former measure is used in advertising, e.g., "HP Envy-17", while the latter is used in sizing\na backpack or carrying sleeve.

\n

The HP originally shipped with a 65W power supply (there’s a model with an extra graphics card that ships with 100W).\nSo of course it runs with the 65W power supply from my Framework 13, but every so often (when running Windows)\nthere was a notice that HP recommends using an HP power supply.

\n

Note that there is a range of variations of the Envy 17, denoted by a string of characters and digits.\nSome of the detail listed here is specific to the DA0013dx model which I have.\nI got my Envy used, and it didn’t come with the official power supply, nor with the USB dock\nthat expands on its fixed set of ports (three USB-A, 2 USB-C/DP (one for power in), one HDMI,\nand a 1/8" headphone jack).\nAgain, my Framework has a series of interchangeable ports, of which any 4 can be in use at ome time on the 13,\nor more on Framework’s larger laptops; this is great if you need a particular cable on the left or the right).

\n

The screen is bright and beautiful, and works "out of the box" with OpenBSD’s X Windows system.\nThis Envy model has a 1920x1024 display and can drive an external HDMI monitor to 4K via the HDMI port,\nor a DisplayPort monitor on one of the USB-C ports.\nThe 1920x1024 is the 19:6 ratio that used on many monitors these days, but due to the\ndifferent sizes and resolutions, it takes quite some fiddling to update my XFCE4 layout just the way I wanted it.\nUnlike many lesser laptops, this features a touchscreen, which does work with OpenBSD’s ism(4)\n(trackpad and touchscreen) driver, with one important exception noted below.

\n

Here’s a screenshot of my XFCE4 setup.

\n
xfce4 frameworkxfce4 hp envy
Framework (a while ago)HP Envy-17
\n

The CPU is a\nIntel® Core™ Ultra 7 155H, 4484.32 MHz.\nWe’ll just call it 4.5GHz, the maximum speed. This is a "Meteor Lake" CPU, with several types of cores\n(6 Performance cores each with two threads,\n8 Efficient cores, and\n2 Low Power Efficient cores, for a total of 22 threads; shows as 22 CPUs in dmesg).\nThe Envy-17 is also available with the less expensive 120U CPU version.

\n

This model ships with 16GB RAM but is available from HP configured with 32G.\nIt’s DDR-5 SODIMM memory, so you can in theory upgrade as much as you can afford.\nSimilarly, the Envy-17 is available configured with a 1 or 2 TB SSD;\nI moved my 4GB NVME SSD from the Framework into the HP Envy, and it works fine.\nMy Framework may someday be reborn by installing a newer motherboard with more CPU power than the Envy I have\n(https://Frame.work, as per their promise and their culture, continues to bring out upgrades for all their models).

\n

Minor nits:

\n

The lid hinge is very stiff.

\n

The keyboard seems a little off in terms of the row positions, but I guess that’s just down to whatever keyboard you’re used to.\nAnd the fact that it’s wider than most.

\n

The official Intel stickers beside the touchpad are about the size of SD cards and I keep wanting to brush them off.\nGuess I’ll scrape them off when it gets too annoying.

\n

There is an error in HP’s "AML",the ACPI Machine Language which tells the OS about the details of the hardware.\nTHis results in the error: # AML PARSE ERROR (0x944): Undefined name: \\_SB_.PC00.LPCB.MXTP.\nThis is a failed attempt at providing the MaXimum TemPerature that the CPU can run it without damage.\nIn this case, acpitz driver doesn’t know the max temp.\nI just set temp:high=90C in /etc/sensorsd.conf, a bit more conservative than the 100C that some laptops provide.

\n

All that remains

\n

There remain some minor issues to work out.

\n\n

Most of these should get resolved eventually.

\n

Lessons learned:

\n\n

Last words

\n

If you want a modern laptop with a 16:9 touchscreen display to run OpenBSD, the HP Envy is not a bad choice.

","headings":[{"level":2,"text":"Getting Past Device Probe Hangs","id":"getting-past-device-probe-hangs"},{"level":2,"text":"About the Laptop","id":"about-the-laptop"},{"level":2,"text":"Minor nits:","id":"minor-nits"},{"level":2,"text":"All that remains","id":"all-that-remains"},{"level":2,"text":"Lessons learned:","id":"lessons-learned"},{"level":2,"text":"Last words","id":"last-words"}]}}