On Thu, Sep 03, 2026 at 04:38:56AM +0800, Han Gao wrote:
> This is a new machine. The kernel that boots normally is a custom
> kernel; it's a Linuxboot firmware.
> Does running `reportbug --template kernel` make sense in this situation,
> since the debian kernel was never successfully booted?
Yes. We need to establish that this piece of hardware is actually
supported by upstream. And given the error messages we saw already, I
doubt that, or at least the combination with linuxboot.
Bastian
--
... The prejudices people feel about each other disappear when they get
to know each other.
-- Kirk, "Elaan of Troyius", stardate 4372.5
