!pbdtvoHxUGLhcEvnlu:nixos.org

Exotic Nix Targets

299 Members
91 Servers

Load older messages


SenderMessageTime
14 Sep 2025
@wegank:matrix.orgWeijia joined the room.11:23:37
15 Sep 2025
@ipsavitsky234:matrix.org@ipsavitsky234:matrix.org left the room.08:44:35
20 Sep 2025
@pandapip1:matrix.orgpandapip1Has anyone tried combining postmarketos with nixos? I'm curious about the feasibility of nixos on mobile. 12:58:02
@lotte:chir.rs@lotte:chir.rsThere's nixos-mobile but admittedly I haven't tried it and it's also not postmarketos either12:58:57
@k900:0upti.meK900mobile-nixos is currently not very maintained12:59:24
@k900:0upti.meK900But it is effectively what you're asking for12:59:29
@lotte:chir.rs@lotte:chir.rsRelatedly I do wonder what it would take to port a new phone with upstream-supported kernel to it (either postmarketos or nixos)15:23:24
@lotte:chir.rs@lotte:chir.rsNo upstream device tree though15:23:35
@k900:0upti.meK900 I mean, if mainline actually supports it, it'll probably just work 15:23:49
@lotte:chir.rs@lotte:chir.rsThe soc is supported, and another device with the soc15:24:19
@lotte:chir.rs@lotte:chir.rsBut the DTS for my device isn't upstream15:24:29
@k900:0upti.meK900 You can patch it in 15:26:19
@lotte:chir.rs@lotte:chir.rsI looked at the device tree for my device and it seems very different, referring to drivers that do not exist upstream15:26:47
@k900:0upti.meK900 There's a PR that allows quickly building out of tree DTS but it's bad and the person that wrote it ignores feedback 15:26:50
@k900:0upti.meK900But you could pick it up15:26:50
@lotte:chir.rs@lotte:chir.rsLike at a minimum all of the display stuff wouldn't work15:27:19
@k900:0upti.meK900Well you'd have to port that if there's no mainline compatible tree yesn15:27:51
@k900:0upti.meK900 * 15:27:55
@lotte:chir.rs@lotte:chir.rsyeah i guess i have to reverse-engineer the firmware because at least on the sony device that i do not have and is supported upstream it just uses the framebuffer at a fixed address15:29:02
@lotte:chir.rs@lotte:chir.rs tbh i could try to run the sony dts but that supposedly doesn’t work 15:29:15
@k900:0upti.meK900 I'm guessing it's just using whatever dumb framebuffer set up by the earlier boot stages then 15:31:32
@k900:0upti.meK900 And not doing GPU stuff correctly 15:31:38
@k900:0upti.meK900 Which will also make the experience of actually using the thing significantly worse 15:31:50
@lotte:chir.rs@lotte:chir.rsah15:32:20
@lotte:chir.rs@lotte:chir.rsso the downstream kernel might be better?15:32:28
@lotte:chir.rs@lotte:chir.rsit’s not yet EOL :D barely15:34:13
@k900:0upti.meK900 Better in some ways, likely significantly worse in others 15:34:15
@lotte:chir.rs@lotte:chir.rs5.4 lts15:34:16
@lotte:chir.rs@lotte:chir.rsyeah i tried running it on my older phone but there the kernel is so old most of the software doesn’t even run on it15:38:29
@lotte:chir.rs@lotte:chir.rsah yeah display is specifically marked as borken eyah15:46:23

Show newer messages


Back to Room ListRoom Version: 6