henry_ has quit [Ping timeout: 265 seconds]
Darkmatter66 has joined #nixos-aarch64
Darkmatter66_ has quit [Ping timeout: 265 seconds]
henry_ has joined #nixos-aarch64
<samueldr> you never know when I'll be and if I am, you'd better just ask in case it happens to be later
<samueldr> qy[m]1: but right now I am
<qy[m]1> well it sort of requires us to be on at the same time. can you give me +h for just a second so i can set an icon for the matrix room? :)
<qy[m]1> the lack of icon frustrates me :p
<samueldr> I don't have special rights for the room
<qy[m]1> oh
<qy[m]1> ah well
<colemickens> +1 for more matrix icons
<qy[m]1> :)
h0m1 has quit [Ping timeout: 246 seconds]
h0m1 has joined #nixos-aarch64
pbb has quit [Ping timeout: 272 seconds]
h0m1 has quit [Ping timeout: 240 seconds]
h0m1 has joined #nixos-aarch64
henry_ has quit [Quit: henry_]
teto has quit [Ping timeout: 246 seconds]
<colemickens> random thought: seems like getting flutter running on (nixos) mobile (linux) would be a boon, if it winds up taking off.
dsal has joined #nixos-aarch64
<dsal> Do folks in here know anything about armv7 machines? I'm trying to resurrect an orange pi
<samueldr> maybe some do, though note that armv7 has a poor coverage in the cache
<simpson> This is a good channel for that, but you may have to wait a while for a reply. FWIW I don't recall any work with Orange Pis, but from what clever has said, it seems like everybody's a winner with Allwinner today.
<dsal> Heh. yeah. I got it into u-boot, but it just wants to pxeboot from there.
<samueldr> it's likely a "good sign", it's likely the default u-boot generic loader thing is working as expected, but cannot find an OS to boot
<dsal> Yeah. I think I've made progress. I don't know how to use this boot loader, though.
<dsal> Eventually, web pages will load and I'll know more things.
<qy[m]1> I got nix on my raspi2s
<qy[m]1> But it was a real pain
<dsal> That uboot manual chapter that describes storage devices only says that it does, but it really doesn't.
orivej has joined #nixos-aarch64
<dsal> I hacked something together horribly.
<dsal> booted into u-boot, then rewrote the card, rescanned it, and booted the card.
<samueldr> not so bad, just as if you used a second sd card
<samueldr> u-boot is fully resident in memory, it doesn't need to re-read the storage device it was started from
<dsal> I don't quite know how to start this, though. Trying to install onto USB flash.
<dsal> Yeah, I have no idea what I'm doing, but I'm writing files to this SSD, so at least bits will roll.
<dsal> I guess it wants a network. That's not going to happen... I got pretty close, anyway. heh
disasm has quit [Ping timeout: 250 seconds]
disasm has joined #nixos-aarch64
disasm has quit [Ping timeout: 258 seconds]
disasm has joined #nixos-aarch64
Darkmatter66 has quit [Ping timeout: 265 seconds]
Darkmatter66 has joined #nixos-aarch64
andi- has quit [Ping timeout: 264 seconds]
andi- has joined #nixos-aarch64
mvnetbiz_ has joined #nixos-aarch64
pbb has joined #nixos-aarch64
pbb has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
pbb has joined #nixos-aarch64
zupo has joined #nixos-aarch64
zupo has quit [Ping timeout: 256 seconds]
asbachb has joined #nixos-aarch64
<asbachb> Hej. Can someone confirm that it's possible to have an remote builder for aarch64 which is x86_64 and maybe a working configuration?
zupo has joined #nixos-aarch64
<sphalerite> asbachb: not really
<sphalerite> asbachb: you can cross-build (any x86_64 machine including the local one can do that), but you'll have a completely distinct set of derivations
<sphalerite> asbachb: you can also use qemu-user, but it's terribly slow
<sphalerite> do we have a factoid for that..?
<sphalerite> ,qemu-user
<asbachb> sphalerite: I guess qemu build should be faster than build on raspberry pi directly.
<srk> or binfmt?
<srk> not sure how to set that up but that should allow you to be able to run arm binaries transparently
<srk> on e.g. x86
<srk> ,binfmt
<{^_^}> binfmt defined
<srk> asbachb: ^
<asbachb> srk: Seems to be only configurable for a more advanced nixos user :(
<srk> why
<srk> "A module and and overlay are provided by user @clever."
<srk> just use that
<asbachb> I'll give it a try.
<{^_^}> qemu-user defined
<srk> asbachb: feel free to ask if it gives you trouble
<asbachb> So I need to include that module/overlay in my configuration.nix?
<srk> this likely needs fixing overlays = [ (import ./overlays-foo/qemu) ];
<srk> only module, it does include overlay ^^
<srk> you need both files of course
<sphalerite> srk: binfmt-misc (not binfmt) is the mechanism through which qemu-user is used to execute arm binaries on non-arm processors ;_)
<srk> sphalerite: sure, the option is called boot.binfmt which is why I've used that - I don't know (care) it does run qemu-user under the hood :)
<srk> TIL!
<asbachb> srk: So download both nix files and include qemu.nix in my configuration.nix?
<srk> asbachb: yes and fix the import ./overlays-foo path in it
<srk> to point to the other file
<asbachb> srk: I'll give it a shot. I guess I need to annoy you some time later.
<srk> np
asbachb has quit [Remote host closed the connection]
<tilpner> sphalerite, srk, asbachb: boot.binfmt.emulatedSystems can do some of that in one line
<srk> oh nice <3
<srk> ,binfmt = see boot.binfmt.emulatedSystems or https://nixos.wiki/wiki/NixOS_on_ARM#Compiling_through_QEMU
<{^_^}> binfmt redefined, was defined as https://nixos.wiki/wiki/NixOS_on_ARM#Compiling_through_QEMU
{`-`} has joined #nixos-aarch64
v0|d has quit [Read error: Connection reset by peer]
Ultrasauce has joined #nixos-aarch64
teto has joined #nixos-aarch64
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zupo has joined #nixos-aarch64
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zupo has joined #nixos-aarch64
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
teto has quit [Ping timeout: 246 seconds]
teto has joined #nixos-aarch64
zupo has joined #nixos-aarch64
zupo has quit [Ping timeout: 264 seconds]
zupo has joined #nixos-aarch64
Thra11 has joined #nixos-aarch64
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<hexa-> hrm, I don't seem to get a serial with on an rpi4 using these instrcutions https://nixos.wiki/wiki/NixOS_on_ARM/Raspberry_Pi#Serial_consoley
teto has quit [Ping timeout: 246 seconds]
<hexa-> it just says silent, and the graphics use micro hdmi, so no dice there as well :D
<srk> do you have enable_uart=1 in config.txt?
<hexa-> unlikely
<srk> nixos/modules/installer/cd-dvd/sd-image-aarch64.nix: enable_uart=1
<srk> nixos/modules/installer/cd-dvd/sd-image-armv7l-multiplatform.nix: enable_uart=1
<srk> possible
<srk> nixos/modules/system/boot/loader/raspberrypi/raspberrypi.nix: enable_uart=1
<hexa-> yep, it's there
<srk> triple check your wiring, you can also loop rx/tx of your usb->uart dongle and test if it works
<samueldr> you're using the image built specifically for the pi4, right?
<hexa-> <nixpkgs/nixos/modules/installer/cd-dvd/sd-image-raspberrypi4.nix>
<hexa-> so yeah, I guess :)
<samueldr> alright, just checking as the generic aarch64 image won't work on it still
<hexa-> my config is here, it's very small: https://git.darmstadt.ccc.de/hexa/nixos-rpi4-snapcast
<srk> sphalerite: mark it sa broken :)
<srk> oops
<srk> samueldr ^^
<samueldr> srk: mark what as broken? the raspberry pi 4 in general? :)
<gchristensen> lmao
<samueldr> srk: the generic image works on all devices supported by the mainline kernel, as long as it is supported by the aarch64 defconfig
<samueldr> (and I don't know what's the port for the console, but since it's the downstream kernel from the rpi foundation, it must be whatever it is as documented for their kernel)
<srk> idk, maybe a warning in nixos/modules/installer/cd-dvd/sd-image-raspberrypi4.nix
<samueldr> a warning for?
<samueldr> that image should work on a pi4
<hexa-> pretty sure it works, i just can't interact with it :)
<srk> I would test but don't have pi4
<samueldr> I haven't tested it recently, but it did work when it was added, and I would be surprised to see that it would stop working
<samueldr> though I'm not sure that serial was verified
<srk> well, things break :) I think SPI might be broken around ~5.4
<samueldr> that image is using the downstream kernel from the rpi foundation
<samueldr> which makes me think it's unlikely to be broken
<hexa-> ah, so I can follow generic serial guides for the rpi4?
<hexa-> like for raspbian
<samueldr> I believe so
<samueldr> since it's their kernel fork
<hexa-> > console=serial0,115200
<{^_^}> error: syntax error, unexpected ',', expecting ';', at (string):71:19
<srk> samueldr: yeah, that was about mainline
<srk> hexa-: not ttyAMA0? :)
<hexa-> yep serial0 works
<srk> cool!
<hexa-> will update the wiki shortly
teto has joined #nixos-aarch64
<clever> samueldr: sent you a link on discord about some pixel uefi stuff
<samueldr> clever: can you send back here
<samueldr> I'm not actively on discord
<samueldr> pixel 3 I guess?
<samueldr> imbusho or zhuowei zhang were working on that, well, either one of them, don't quite remember
<clever> > it's just... the pixel did so well. they're using UEFI now, on pixel phones. but not... quite. UEFI loads linuxloader.efi (inside the FV). They just about got there. Had they just stopped at "pixel uses UEFI to boot" we would be fine
<{^_^}> error: syntax error, unexpected ELLIPSIS, expecting ')', at (string):296:10
<clever> [3:02 PM]
<samueldr> ah, just that, yeah, it's known that qualcomm are using UEFI since a small while
<clever> is it in the mask rom, or an SPL on some flash media?
<samueldr> it's on the eMMC
<samueldr> it boots either aboot (for older devices) or abl (for newer deviecs)
<samueldr> abl is uefi-based
<samueldr> though none of the uefi-ness passes through AFAIK
<clever> yeah, thats what the quoted msg says
<samueldr> it's not only pixel phones, all qualcomm recent chips do
<samueldr> I **hate** discord, it eats browser shortcuts for dinner...
<samueldr> ... though here... WHY does the browser even allows this???
<srk> lol
<clever> certain shortcuts cant be eaten, like ctrl+tab and ctrl+w
<srk> killall 'Web Content'
* srk just did that to be able to eval
<clever> srk: the user i'm talking to is also blind, and has complained about not even finding certain channels in the server until somebody spoke
<samueldr> srk: more nuanced, fork the web, make a "contents" web, and an "apps" web, that execute in different contexts with different rights
<srk> clever: yeah no problem with that ofc :) I'm using it from time to time myself
<samueldr> clever: at some point I'll actually take time to learn tianocore stuff and see what I can do
<clever> samueldr: there is the uefi-rpi4 channel on the developer-ecosystem discord, where ive been chatting with that team
<srk> I'm using noscript and my browser explodes anyway, even with the few whitelisted apps
<samueldr> clever: yeah, but that's not the time for me right now :)
<clever> samueldr: oh!, the blog you linked mentions little-kernel
<clever> samueldr: and i happen to be porting little-kernel to the vpu on the rpi
<samueldr> clever: yeah, aboot is still used on older uefi-based qualcomm android devices
<clever> and the blog says that the new devices just run aboot as an efi binary
<samueldr> and newer devices use abl, which uses uefi
<samueldr> I have used this knowledge to extract the aboot binary from the xiaomi-lavender and tried to ghidra it when I had issues booting at first
<samueldr> (turns out I had to RTFM)
<clever> heh
<clever> that reminds me
<samueldr> (the reason it wasn't booting was in the actual instructions from xiaomi)
<clever> one sec
<samueldr> though I would like to have a decompilation thing that knew about EFI, as it made a mess of the decompilation
<clever> samueldr: https://github.com/NationalSecurityAgency/ghidra/pull/1147 i wans to get this building with nix, how complex do you think it would be?
<{^_^}> NationalSecurityAgency/ghidra#1147 (by paolovagnero, 26 weeks ago, open): Initial support of Broadcom VideoCore IV
<samueldr> literally no idea
<samueldr> I used whatever ghidra-bin is in nixpkgs
<samueldr> and the last time I used it (last week) it was buggy in weird ways
<samueldr> text rendering broken
<clever> and the problem, is that i need to use a fork of it, that doesnt have release builds
<samueldr> we probably want to build it, anyway
<clever> at a glance, its just gradle based, so not that complex to build impurely
<samueldr> clever: glad to see you volounteering yourself to package it :D
<clever> the reason i'm looking at this, is because ive spent days reverse engineering vpu assembly, by hand!!!
<clever> then i was talking to another guy on discord, that mentions he was using ghidra :P
henry_ has joined #nixos-aarch64
<clever> samueldr: and i must have mentioned this already?
<samueldr> I don't remember there being a link
<clever> samueldr: looking at the part description for it, its nearly identical to an rpi1
<clever> the only real difference is:
<clever> * onboard wifi
<clever> * onboard IR receiver
<clever> * 256mb nand flash for the firmware/os
henry_ has quit [Client Quit]
orivej has quit [Ping timeout: 264 seconds]
zupo has joined #nixos-aarch64
zupo_ has joined #nixos-aarch64
zupo has quit [Ping timeout: 264 seconds]
teto has quit [Ping timeout: 252 seconds]
zupo_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zupo has joined #nixos-aarch64
Darkmatter66_ has joined #nixos-aarch64
Darkmatter66 has quit [Ping timeout: 256 seconds]
Thra11 has quit [Quit: WeeChat 2.8]
Darkmatter66 has joined #nixos-aarch64
Darkmatter66_ has quit [Ping timeout: 258 seconds]
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
fooker has quit [Ping timeout: 265 seconds]
fooker has joined #nixos-aarch64