<gchristensen>
it is possible that -19 was too much
<clever>
gchristensen: i ran into similar weirdness, when i was implementing initrd support in my rpi bootloader
<gchristensen>
oh?
<clever>
when i claimed the size of the initrd was something it wasnt
<clever>
the kernel couldnt parse it as one thing, then assumed it must be something else
<gchristensen>
(wait, zstd isn't going to work)
h0m1 has quit [Ping timeout: 260 seconds]
h0m1 has joined #nixos-aarch64
orivej has quit [Ping timeout: 258 seconds]
ryantrinkle has quit [Ping timeout: 246 seconds]
<fps>
srk: so you say that one doesn't really need the binfmt qemu wrapper trick to build a rpi4 image?
Acou_Bass has quit [Ping timeout: 264 seconds]
Darkmatter66_ has quit [Ping timeout: 272 seconds]
Darkmatter66 has joined #nixos-aarch64
Acou_Bass has joined #nixos-aarch64
Darkmatter66 has quit [Ping timeout: 264 seconds]
Darkmatter66 has joined #nixos-aarch64
<srk>
fps: depends
<srk>
fps: I'm trying to cross compile the image for armv7 and it looks good but not quite 100% there, I've had to switch to staging which now has issues with gdk-pixbuf :)
<srk>
fps: it should work and is probably way faster than emulated
orivej has joined #nixos-aarch64
<sphalerite>
gchristensen: oh! How are you making the initramfs? istr something about it being very finicky about paths, and my attempt at doing it manually got it wrong while mkInitrd worked
<sphalerite>
something about the exact way in which cpio is invoked
<fps>
srk: hmm, what about that comment from the wiki though: "At this moment in time (early 2018) only AArch64 is planned for full support upstream."
<fps>
doesn't it make more sense to go with aarch64 then instead of armv7
<srk>
dunno, we're fixing armv7 as well
<fps>
ok
<srk>
but it has few issues .. /nix/store/3b3ighb83nhifa1v4n7855hlbdl1mhf9-binutils-2.31.1/bin/ld: cannot represent machine `arm'
<fps>
actually the build using qemu-binfmt seems to have succeeded. i havent' tried booting it yet though ;)
<srk>
was compiling all night long :D I'll grab a coffee and start looking into it\
<srk>
and also gdk_pixbuf which is pulled due to environment.variables.GDK_PIXBUF_MODULE_FILE
<srk>
hmm, ld attempted in systemd is a host one
zupo has joined #nixos-aarch64
<fps>
hmm, the build takes ages in that cross-system. i'm still trying to get my head around all the things included by the installation-device.nix, sd-image.nix, etc..
<srk>
:) it takes ages becuase there's a lot to crunch initially
<fps>
and what kind of things one could disable to get like the smallest bootable image. kernel, systemd, agetty, bash, nix. please excuse my ignorance. long term linux user, but not experienced at all with cross compiles. nixos and building images for SoC's ;)
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<fps>
srk: i guess once it's done and i don't do a nixos-rebuild switch --upgrade it should go faster next time, right?
<fps>
since all the things are then available in the store already
<srk>
yes, pretty much
<srk>
environment.noXlibs = true;
<srk>
if you don't need X helps too
<fps>
oh. i'll add that to my checkout of cross-system
<fps>
i guess for usb audio devices the alsa-firmware is also no needed, right? that should be mostly for pci(e) soundcards which need special binary blobs right?
<srk>
not sure
<srk>
ah, firmware, probably not
<srk>
not needed
<srk>
for usb you just need kernel modules I guess but that's covered by default multi_ config already
<srk>
what's the rest of the stack btw? for the guitar effect
<fps>
jack2, jalv, and a python3 web frontend with some small custom c++ apps
<fps>
oh and dnsmasq/hostapd so one can connect to the wifi with a mobile device to tweak things
<fps>
using a usb wifi dongle is fine if the wifi on the rpi4 doesn't work
<fps>
and one major thing: a kernel with realtime-preempt patches ;)
<srk>
nice!
<srk>
musnix?
<fps>
i have got the whole thing running on an arch image for the rpi4
<fps>
but i really enjoy tinkering in guix and like the reproducible functional approach so i want to try and build the image in guix or nix. right now i opt for nix because it has some initial support for rpi4 :)
<fps>
srk: thanks for that pointer
<srk>
it can patch kernel for you but probably won't work easily with rpi4 one foundation kernel
<srk>
but when it's switched to mainline it should just work
<fps>
musnix looks useful, thanks
<fps>
i heard that mainline still lacks some features like gpu support
<fps>
i don't care much at all about hdmi outputs
<srk>
yeah, me neither
<fps>
so i would actually prefer a mainline kernel..
<srk>
btw have you considered i2s soundcard?
<fps>
in my initial experiments usb 2.0 class audio works fine with 128 frames/period and a realtime preempt kernel
<fps>
on the rpi4, since the usb controller on it finally doesn't suck super hard
<fps>
i have no experience with i2s soundcards
<srk>
right, I have phatdac for a few years, need to try that with mainline now I have overlay support
<srk>
looks like I'm gonna loose S/PDIF if I upgrade my workstation mobo so it might be good time to actually make it work
<srk>
and then upgrade to something which has s/pdif .. :D
<fps>
i also built a midi controller based on a teensy
<doda>
hi guys, i installed nixos on my raspberry pi3, version 19.03.173694.27aaaa5ba69. I had issue with GPU not being available, fixed the issue by downloading a custom dtb file from an issue on github https://github.com/raspberrypi/linux/issues/3046
<{^_^}>
raspberrypi/linux#3046 (by lategoodbye, 43 weeks ago, open): bcm2835-power: Timeout waiting for grafx power OK
<clever>
doda: did you just solve my firmware problems.....
<clever>
doda: i cant get video to work, due to power domains being off...
<doda>
clever: hah :D, this is a really wierd error, i think it is related to board temperature, since before i found out this issue, Xorg started 2 times out of 10
<clever>
doda: in my case, i'm using custom firmware, that doesnt do the gpu init
<qyliss>
Which will open an editor for the given attribute path
<fps>
oh nice
<fps>
soo, there's also this file in nixpkgs: sd-image-raspberrypi4.nix
<fps>
which uses the raspberry pi foundation kernel
<fps>
which is fine with me
<fps>
running this in the nixpkgs top directory: nix-build nixos -I nixos-config=nixos/modules/installer/cd-dvd/sd-image-raspberrypi4.nix -A config.system.build.sdImage --argstr system aarch64-linux
<fps>
seems to do its thing :)
<doda>
has anyone managed to play mpeg-4 videos properly on kodi on a raspberrypi 3?
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<fps>
is there a reason for all this image compression and decompression during the builds? i guess it could save some time if the images just stayed uncompressed :)
<samueldr>
fps: hydra has size limits
<samueldr>
an output cannot be bigger than 2GiB
<fps>
hmm, ok
globin has joined #nixos-aarch64
nschoe has quit [Quit: No Ping reply in 180 seconds.]
nschoe has joined #nixos-aarch64
zupo has joined #nixos-aarch64
<fps>
ok, that image seeems to have booted just fine. nice :)
<fps>
now i can think about modifying it ;)
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]