!UUYziobKGGxpovWyAN:nixos.org

Robotnix

228 Members
Build Android (AOSP) using Nix | https://github.com/nix-community/robotnix69 Servers

Load older messages


SenderMessageTime
9 Dec 2025
@roadroller01:matrix.org@roadroller01:matrix.orgHello!. How could I patch repo.lock correctly? I want to add https://github.com/Lineage-arm/platform_prebuilts_go_linux-arm64 and others So It could be possible to compile on an aarch64 machine 17:49:36
@roadroller01:matrix.org@roadroller01:matrix.orgI might just change update.sh to apply a patch for each repo.lock18:03:19
@roadroller01:matrix.org@roadroller01:matrix.org * I might just change update.sh to apply a patch for each repo.lock 18:03:31
@cyclopentane:aidoskyneen.eupentane (DECT CYPT/2978) The preferred way to add in new source dirs is to declare them with the NixOS module system via source.dirs 18:42:39
10 Dec 2025
@truelle_trash_queen:matrix.orgTheodora changed their display name from Theodora The Absurdist Schizotisticoball to Theodora.12:17:25
11 Dec 2025
@suua:matrix.orgsuua joined the room.16:09:34
16 Dec 2025
@baduhai:beeper.com@baduhai:beeper.com left the room.10:09:59
17 Dec 2025
@sebastian:srx.digitalcrstl joined the room.16:17:59
24 Dec 2025
@matthewcroughan:defenestrate.itmatthewcroughan @ 39c3 (DECT 94667 or 97340 or 67192) pentane ⭔: are you doing all your grapheneos builds with robotnix? 19:10:08
@cyclopentane:aidoskyneen.eupentane (DECT CYPT/2978)Yep :p19:14:56
@cyclopentane:aidoskyneen.eupentane (DECT CYPT/2978) (continuing from nix offtopic) This is the patch you want for installing AVF images from other sources: 19:15:19
@cyclopentane:aidoskyneen.eupentane (DECT CYPT/2978)Download 0001-support-sdcard-installation-of-GNU-Linux-images-in-r.patch19:15:39
@cyclopentane:aidoskyneen.eupentane (DECT CYPT/2978)

and this is the corresponding robotnix config snippet:

source.dirs."packages/modules/Virtualization".patches = [
    ./0001-support-sdcard-installation-of-GNU-Linux-images-in-r.patch
  ];
19:16:08
@cyclopentane:aidoskyneen.eupentane (DECT CYPT/2978) *

and this is the corresponding robotnix config snippet:

  source.dirs."packages/modules/Virtualization".patches = [
    ./0001-support-sdcard-installation-of-GNU-Linux-images-in-r.patch
  ];
19:16:13
@matthewcroughan:defenestrate.itmatthewcroughan @ 39c3 (DECT 94667 or 97340 or 67192) pentane ⭔: wow this is really above and beyond 19:17:16
@matthewcroughan:defenestrate.itmatthewcroughan @ 39c3 (DECT 94667 or 97340 or 67192) so I just installed grapheneOS, is that what you call a user image? 19:17:25
@matthewcroughan:defenestrate.itmatthewcroughan @ 39c3 (DECT 94667 or 97340 or 67192) * so I just installed GrapheneOS, is that what you call a user image? 19:17:29
@matthewcroughan:defenestrate.itmatthewcroughan @ 39c3 (DECT 94667 or 97340 or 67192)I did it by following their cli guide19:17:34
@matthewcroughan:defenestrate.itmatthewcroughan @ 39c3 (DECT 94667 or 97340 or 67192)BTW, can you run graphical stuff in the AVF framework?19:19:03
@matthewcroughan:defenestrate.itmatthewcroughan @ 39c3 (DECT 94667 or 97340 or 67192)* BTW, can you run graphical stuff in the AVF setup?19:19:06
@cyclopentane:aidoskyneen.eupentane (DECT CYPT/2978) yes - it's in the command lunch <device> cur user 19:30:18
@cyclopentane:aidoskyneen.eupentane (DECT CYPT/2978)I think so yeah, havent tried it so far tho19:30:48
@sebastian:srx.digitalcrstl pentane ⭔ Are you both actually coming to the congress in Hamburg? I'm just asking because after following matthewcroughan activities on QCM6490 and getting a Fairphone 5 as a second device for NixOS testing, but using GraphenOS as my daily driver on my Pixel, I thought I'd build it with Robotnix as well. After a few days with my Robotnix setup, it would be great to exchange a few thoughts. 19:46:47
@cyclopentane:aidoskyneen.eupentane (DECT CYPT/2978)Yep, I'm arriving in Hamburg on the 26th19:47:32
@cyclopentane:aidoskyneen.eupentane (DECT CYPT/2978)would be really cool to meet up :)19:47:43
@sebastian:srx.digitalcrstlNice. Is there going to be a Matrix Nix Channel for the congress again? That would definitely be good, so we don't get lost in the hustle and bustle.19:55:20
@matthewcroughan:defenestrate.itmatthewcroughan @ 39c3 (DECT 94667 or 97340 or 67192) pentane ⭔: can you lock the device with your own nixos setup? 20:24:50
@matthewcroughan:defenestrate.itmatthewcroughan @ 39c3 (DECT 94667 or 97340 or 67192)oh yeah I'll be at 39c3 too, so maybe we can meetup and you can do a quick FAQ? :D20:25:10
@matthewcroughan:defenestrate.itmatthewcroughan @ 39c3 (DECT 94667 or 97340 or 67192)I'll document such a setup too if you help me figure it out20:25:27
@sebastian:srx.digitalcrstlSound great, let's do that.20:28:39

Show newer messages


Back to Room ListRoom Version: 6