Ivan Oleynikov

Can't say from the top of my head. When I did it, steps from official NixOS install instructions and the docs in this repo worked (albeit after a few attempts)....

It may be a good idea to create a new issue with specific problems you had or improvement suggestions. On Sat, Dec 7, 2024, 17:43 Baddad23 ***@***.***> wrote: > After...

~~The PR is currently rebased on top of #64 (which is about to get merged to master).~~

I tried a few cleaner ways to disable the faulty device in Device Tree, but all seem to fail: 1. Kernel patch modifying the [arch/arm64/boot/dts/rockchip/rk3588-orangepi-5-plus.dts](https://github.com/Joshua-Riek/linux-rockchip/blob/7725578fd0aeeab125038185a0c58cc67767c5ad/arch/arm64/boot/dts/rockchip/rk3588-orangepi-5-plus.dts) to set `&hdmirx_ctrler { status...

Is anyone able to retrieve the old version of the patch file from nix store and compare it to what github returns now?

Oh no, I don't think indices changed. They're the same, just abbreviated differently (the new version has one hash digit more). On Wed, Dec 4, 2024, 09:58 Naxdy ***@***.***> wrote:...

Is there a way to try out the beta version of 3.0 at the moment?