!UUYziobKGGxpovWyAN:nixos.org

Robotnix

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

Load older messages

SenderMessageTime
1 Dec 2025
@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.orgAtemuThis 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 ⭔ 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 ⭔ 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 ⭔ 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
3 Dec 2025
@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

06:06:43
@roadroller01:matrix.org@roadroller01:matrix.org *

Following this tutorial:
https://github.com/TrebleDroid/treble_experimentations/wiki/How-to-build-a-GSI%3F

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

06:06:59
@roadroller01:matrix.org@roadroller01:matrix.org for the other cases just warn about that repo2nix couldn't handle this! 06:08:21
@roadroller01:matrix.org@roadroller01:matrix.org * for the other cases just warn that repo2nix couldn't handle this! 06:08:35
@roadroller01:matrix.org@roadroller01:matrix.org

Why exacly does the manifast download go? Should just the host system install go?!
here:

  <project path="prebuilts/go/darwin-x86" name="platform/prebuilts/go/darwin-x86" groups="notdefault,platform-darwin,darwin,pdk,tradefed" clone-depth="1" remote="aosp" />
  <project path="prebuilts/go/linux-x86" name="platform/prebuilts/go/linux-x86" groups="linux,pdk,tradefed" clone-depth="1" remote="aosp" />
06:10:01
@roadroller01:matrix.org@roadroller01:matrix.org *

Why exacly does the manifast download go? Shouldn't just the host system install go?!
here:

  <project path="prebuilts/go/darwin-x86" name="platform/prebuilts/go/darwin-x86" groups="notdefault,platform-darwin,darwin,pdk,tradefed" clone-depth="1" remote="aosp" />
  <project path="prebuilts/go/linux-x86" name="platform/prebuilts/go/linux-x86" groups="linux,pdk,tradefed" clone-depth="1" remote="aosp" />
06:10:42
@roadroller01:matrix.org@roadroller01:matrix.orgAs I got an error because it didn't ship an aarch64 go prebuilt binary!06:13:05
@roadroller01:matrix.org@roadroller01:matrix.orgOr I might just remove them manually haha06:16:38
@roadroller01:matrix.org@roadroller01:matrix.orgWhy does blueprint being used while it got archived four years ago? https://github.com/google/blueprint19:04:44
@roadroller01:matrix.org@roadroller01:matrix.org How exactly could I use/run modules/repo2nix.nix? (I am little bit nix noob)
I didn't see anywhere in the project for an usage! 		20:13:20
4 Dec 2025
@i-am-logger:matrix.orgIdo Samuelson joined the room.01:44:44
@onur-ozkan:matrix.orgonur-ozkan joined the room.04:20:29

Show newer messages

Back to Room ListRoom Version: 6