!UUYziobKGGxpovWyAN:nixos.org

Robotnix

242 Members
Build Android (AOSP) using Nix | https://github.com/danielfullmer/robotnix74 Servers

Load older messages

SenderMessageTime
30 Nov 2025
@oak:universumi.fioak 🏳️‍🌈♥️https://www.reddit.com/r/oneplus/comments/1p8swor/i_thought_that_oneplus_8_updates_ended_last_summer/ it is clearly this thing, OnePlus 8 Pro update is showing later on the thread. However if I'm running my LineageOS built through Robotnix, how does it even try to get this update?18:27:05
@oak:universumi.fioak 🏳️‍🌈♥️And is my device vulnerable or not if I'm running my own LineageOS?18:27:22
@oak:universumi.fioak 🏳️‍🌈♥️https://www.rapid7.com/blog/post/cve-2025-10184-oneplus-oxygenos-telephony-provider-permission-bypass-not-fixed/ It is likely this one. But shouldn't LineageOS build their own TelephonyProvider and not use any binary provided by OnePlus?18:33:46
1 Dec 2025
@oak:universumi.fioak 🏳️‍🌈♥️Screenshot_20251201-172227_Google Play services.png
Download Screenshot_20251201-172227_Google Play services.png		15:23:16
@oak:universumi.fioak 🏳️‍🌈♥️Now it showed again. How can I get rid of this?15:23:37
@roadroller01:matrix.org@roadroller01:matrix.orgHello, I am now trying to add support for building trebledroid/gsi image, Have anyone done anything?15:31:54
@roadroller01:matrix.org@roadroller01:matrix.orgFollowing this tutorial: https://github.com/TrebleDroid/treble_experimentations/wiki/How-to-build-a-GSI It seems that i just need to add https://github.com/TrebleDroid/treble_manifest/tree/android-15.0 to repo2nix.localManifests for lineage-22.115:34:24
@roadroller01:matrix.org@roadroller01:matrix.org

But idk how to access repo2nix.localManifests within:

robotnix.lib.robotnixSystem {
            flavor = "lineageos";

            # device codename - FP4 for Fairphone 4 in this case.
            # Supported devices are listed under https://wiki.lineageos.org/devices/
            device = "FP4";

            # LineageOS branch.
            # You can check the supported branches for your device under
            # https://wiki.lineageos.org/devices/<device codename>
            # Leave out to choose the official default branch for the device.
            flavorVersion = "22.2";

            apps.fdroid.enable = true;
            microg.enable = true;

            # Enables ccache for the build process. Remember to add /var/cache/ccache as
            # an additional sandbox path to your Nix config.
            ccache.enable = true;
        };
15:35:38
@roadroller01:matrix.org@roadroller01:matrix.org *

But idk how to access repo2nix.localManifests within:

robotnix.lib.robotnixSystem {
            flavor = "lineageos";

            # device codename - FP4 for Fairphone 4 in this case.
            # Supported devices are listed under https://wiki.lineageos.org/devices/
            device = "FP4";

            # LineageOS branch.
            # You can check the supported branches for your device under
            # https://wiki.lineageos.org/devices/<device codename>
            # Leave out to choose the official default branch for the device.
            flavorVersion = "22.2";

            apps.fdroid.enable = true;
            microg.enable = true;

            # Enables ccache for the build process. Remember to add /var/cache/ccache as
            # an additional sandbox path to your Nix config.
            ccache.enable = true;
        };
15:35:53
@roadroller01:matrix.org@roadroller01:matrix.org *

Hello,

I am now trying to add support for building trebledroid/gsi image, Have anyone done anything?

15:36:04
@roadroller01:matrix.org@roadroller01:matrix.org * Following this tutorial:
https://github.com/TrebleDroid/treble_experimentations/wiki/How-to-build-a-GSI
It seems that i just need to add https://github.com/TrebleDroid/treble_manifest/tree/android-15.0 to repo2nix.localManifests for lineage-22.1 		15:36:25
@roadroller01:matrix.org@roadroller01:matrix.org

Doesn't robotnix support aarch64-linux?!

I have just ran

nix flake show
git+file:///home/road/aosp/robotnix?ref=refs/heads/master&rev=0b67d10e140555a319d0d91d3369a5e6c73dae58
├───devShells
│   └───x86_64-linux
│       ├───default omitted (use '--all-systems' to show)
│       └───repo2nix omitted (use '--all-systems' to show)
├───examples: unknown
├───lib: unknown
├───nixosModule: NixOS module
├───nixosModules
│   └───attestation-server: NixOS module
├───packages
│   └───x86_64-linux
│       ├───gitRepo omitted (use '--all-systems' to show)
│       └───manual omitted (use '--all-systems' to show)
└───templates
    └───default: template: A basic robotnix configuration flake
16:17:12
@roadroller01:matrix.org@roadroller01:matrix.org *

Doesn't robotnix support aarch64-linux?!

I have just ran

>nix flake show
git+file:///home/road/aosp/robotnix?ref=refs/heads/master&rev=0b67d10e140555a319d0d91d3369a5e6c73dae58
├───devShells
│   └───x86_64-linux
│       ├───default omitted (use '--all-systems' to show)
│       └───repo2nix omitted (use '--all-systems' to show)
├───examples: unknown
├───lib: unknown
├───nixosModule: NixOS module
├───nixosModules
│   └───attestation-server: NixOS module
├───packages
│   └───x86_64-linux
│       ├───gitRepo omitted (use '--all-systems' to show)
│       └───manual omitted (use '--all-systems' to show)
└───templates
    └───default: template: A basic robotnix configuration flake
16:17:34
@roadroller01:matrix.org@roadroller01:matrix.org *

Doesn't robotnix support aarch64-linux?!

I have just ran

>nix flake show
git+file:///home/road/aosp/robotnix?ref=refs/heads/master&rev=0b67d10e140555a319d0d91d3369a5e6c73dae58
├───devShells
│   └───x86_64-linux
│       ├───default omitted (use '--all-systems' to show)
│       └───repo2nix omitted (use '--all-systems' to show)
├───examples: unknown
├───lib: unknown
├───nixosModule: NixOS module
├───nixosModules
│   └───attestation-server: NixOS module
├───packages
│   └───x86_64-linux
│       ├───gitRepo omitted (use '--all-systems' to show)
│       └───manual omitted (use '--all-systems' to show)
└───templates
    └───default: template: A basic robotnix configuration flake
16:17:43
@roadroller01:matrix.org@roadroller01:matrix.org *

Doesn't robotnix support aarch64-linux?!

I have just ran

>nix flake show
git+file:///home/road/aosp/robotnix?ref=refs/heads/master&rev=0b67d10e140555a319d0d91d3369a5e6c73dae58
├───devShells
│   └───x86_64-linux
│       ├───default omitted (use '--all-systems' to show)
│       └───repo2nix omitted (use '--all-systems' to show)
├───examples: unknown
├───lib: unknown
├───nixosModule: NixOS module
├───nixosModules
│   └───attestation-server: NixOS module
├───packages
│   └───x86_64-linux
│       ├───gitRepo omitted (use '--all-systems' to show)
│       └───manual omitted (use '--all-systems' to show)
└───templates
    └───default: template: A basic robotnix configuration flake
16:17:53
@roadroller01:matrix.org@roadroller01:matrix.org *

Doesn't robotnix support aarch64-linux?!

I have just ran

>nix flake show
git+file:///path/to/robotnix?ref=refs/heads/master&rev=0b67d10e140555a319d0d91d3369a5e6c73dae58
├───devShells
│   └───x86_64-linux
│       ├───default omitted (use '--all-systems' to show)
│       └───repo2nix omitted (use '--all-systems' to show)
├───examples: unknown
├───lib: unknown
├───nixosModule: NixOS module
├───nixosModules
│   └───attestation-server: NixOS module
├───packages
│   └───x86_64-linux
│       ├───gitRepo omitted (use '--all-systems' to show)
│       └───manual omitted (use '--all-systems' to show)
└───templates
    └───default: template: A basic robotnix configuration flake
16:18:34
@roadroller01:matrix.org@roadroller01:matrix.org *

Doesn't robotnix support aarch64-linux?!

I have just ran

nix flake show

git+file:///path/to/robotnix?ref=refs/heads/master&rev=0b67d10e140555a319d0d91d3369a5e6c73dae58
├───devShells
│   └───x86_64-linux
│       ├───default omitted (use '--all-systems' to show)
│       └───repo2nix omitted (use '--all-systems' to show)
├───examples: unknown
├───lib: unknown
├───nixosModule: NixOS module
├───nixosModules
│   └───attestation-server: NixOS module
├───packages
│   └───x86_64-linux
│       ├───gitRepo omitted (use '--all-systems' to show)
│       └───manual omitted (use '--all-systems' to show)
└───templates
    └───default: template: A basic robotnix configuration flake
16:19:08
@roadroller01:matrix.org@roadroller01:matrix.org *

Doesn't robotnix support aarch64-linux?!

I have just ran

nix flake show --all-system

git+file:///path/to/robotnix?ref=refs/heads/master&rev=0b67d10e140555a319d0d91d3369a5e6c73dae58
├───devShells
│   └───x86_64-linux
│       ├───default omitted (use '--all-systems' to show)
│       └───repo2nix omitted (use '--all-systems' to show)
├───examples: unknown
├───lib: unknown
├───nixosModule: NixOS module
├───nixosModules
│   └───attestation-server: NixOS module
├───packages
│   └───x86_64-linux
│       ├───gitRepo omitted (use '--all-systems' to show)
│       └───manual omitted (use '--all-systems' to show)
└───templates
    └───default: template: A basic robotnix configuration flake
16:21:14
@roadroller01:matrix.org@roadroller01:matrix.org *

Doesn't robotnix support aarch64-linux?!

I have just ran

nix flake show --all-system
16:21:33
@roadroller01:matrix.org@roadroller01:matrix.orgscreenshot-2025-12-01_19:20:40.png
Download screenshot-2025-12-01_19:20:40.png		16:22:04
@magic_rb:matrix.redalder.orgmagic_rbI think i asked this question and the answer i think i got was "no because android ships rebuilt binaries but only for x86"16:39:56
@atemu12:matrix.orgatemu12This fact may have changed but you'd need to research that16:51:48
@magic_rb:matrix.redalder.orgmagic_rb(I did remember right, yay!)16:58:37
@roadroller01:matrix.org@roadroller01:matrix.orgwhat about the first question haha 17:52:08
@roadroller01:matrix.org@roadroller01:matrix.orgWhat is exactly the purpose of using the pre-build binaries by google in android-nixpkgs? As they don't provide any for aarch64.20:54:28
2 Dec 2025
@roadroller01:matrix.org@roadroller01:matrix.orgI might be new here but it seems that most if not all pkgs in android-nixpkgs are now available under nixpkgs androidenv.* This might be new idk is there something am missing? I am now changing android-nixpkgs to androidenv.* as it support aarch64, Please notify me if there is something I am missing. Thanks!01:49:21
@roadroller01:matrix.org@roadroller01:matrix.org * I might be new here but it seems that most if not all pkgs in android-nixpkgs are now available under nixpkgs androidenv.* This might be new idk is there something am missing? I am now changing android-nixpkgs to androidenv.* (not sure if it support aarch64), Please notify me if there is something I am missing. Thanks! 01:56:49
@cyclopentane:aidoskyneen.eupentane (DECT CYPT/2978) okay so I just took a look at it, and it seems like that's gonna be a bit more difficult. github:TrebleDroid/treble_manifest works by taking the LineageOS git-repo manifest as a base, and <remove-project ... />ing a bunch of the upstream LineageOS directories. Back when I wrote repo2nix I decided against supporting these git-repo directives because they'd have required me to wade through the messy Python source code of git-repo (and yes, it already was difficult figuring out the override behaviour for the default/project-specific remotes) 13:10:39
@cyclopentane:aidoskyneen.eupentane (DECT CYPT/2978) i suppose it'd be manageable to approximate the upstream git-repo behaviour for <remove-project> directives just enough for that specific manifest to work, but imo that'd be misguided because then it'd probably start misbehaving in other cases using <remove-project> 13:12:13
@cyclopentane:aidoskyneen.eupentane (DECT CYPT/2978) it's an inherent drawback of the "rewrite git-repo in rust" approach I took, in contrast to danielrf's original approach of patching git-repo :/ 13:12:45

Show newer messages

Back to Room ListRoom Version: 6