tree cb616c969928dd53b79eaf6d81afef58edc189c1
parent 12450d28a5a841994df41bb7c37c24d53a2c80d2
author Lorenz Brun <lorenz@monogon.tech> 1671541613 +0000
committer Lorenz Brun <lorenz@monogon.tech> 1672769767 +0000

third_party/linux: add memory hotplug

We need this for hardware reporting (and for running in VMs).

Change-Id: I52dff73e0c945dcfde59b014a46c4efe15a133c2
Reviewed-on: https://review.monogon.dev/c/monogon/+/1001
Reviewed-by: Sergiusz Bazanski <serge@monogon.tech>
Tested-by: Jenkins CI