Samuel Dionne-Riel

What's the definition of *board type* here? AFAICT *board type* isn't used in the [currently rendered version (2.1.0)](https://arm-software.github.io/ebbr/). Is there a glossary of terms I missed?

Mobile NixOS is a bit more than that, What Mobile NixOS brings to your everyday system is those three main things: - hardware-specific knowledge (which could interchangeably live anywhere) -...

See https://github.com/NixOS/nixpkgs/issues/154163. It should be the same underlying issue, with the same [workaround](https://github.com/NixOS/nixpkgs/issues/126755#issuecomment-869149243).

It would need to be done in a way where using `nixos-hardware` pins to a built/cached Nixpkgs revision. Which may or may not be an issue depending on the needs....

AFAIK this would be needed for `audio` too. - https://github.com/raspberrypi/linux/blob/108ac8cefd05ef00bba93852e7e7f12d009674a5/arch/arm/boot/dts/bcm270x-rpi.dtsi#L92 Maybe this? ``` /dts-v1/; /plugin/; / { compatible = "brcm,bcm2711"; fragment@0 { target = ; __overlay__ { status = "okay";...

Indeed this is not why it is "hanging". That error/warning(?) is related to the power management IC, `fusb30x` is the family of the power IC used here. Can you try...

Assuming that previously there were none set, using *`mkBefore`* to add `console=tty0` would be appropriate enough I think. This allows other users to override the console by default without forcing...

If it's not an issue with like spam content and such, I would suggest that there is a different namespace for "official representation" from "contributor/member of the community", especially if...

(See #49, with similar goals.) Nix itself will not be able to take a peek at the system, especially given the purity focus flakes is having. This, though, could happen...

There is one big flaw that will need to be adressed: those vendor names aren't awesome! * Hewlett-Packard * CHUWI INNOVATION AND TECHNOLOGY(SHENZHEN)CO.LTD * ASUSTeK COMPUTER INC. * ASUSTeK Computer...