ryantrinkle has joined #nixos-aarch64
pbb has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
pbb has joined #nixos-aarch64
pbb has quit [Client Quit]
pbb has joined #nixos-aarch64
pbb has quit [Client Quit]
pbb has joined #nixos-aarch64
pbb has quit [Client Quit]
pbb has joined #nixos-aarch64
pbb has quit [Client Quit]
pbb has joined #nixos-aarch64
pbb has quit [Client Quit]
pbb has joined #nixos-aarch64
ryantrinkle has quit [Ping timeout: 250 seconds]
orivej has joined #nixos-aarch64
tilpner has joined #nixos-aarch64
tilpner has quit [Client Quit]
pbb has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
pbb has joined #nixos-aarch64
pbb has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
pbb has joined #nixos-aarch64
pbb has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
pbb has joined #nixos-aarch64
pbb has quit [Client Quit]
pbb has joined #nixos-aarch64
tilpner has joined #nixos-aarch64
orivej has quit [Ping timeout: 268 seconds]
orivej has joined #nixos-aarch64
<adisbladis> Anyone with an idea of where to start debugging X (fbdev)
<insep[m]> xorg log?
<insep[m]> also, some msm kernels need to be patched in order to make xorg work
<adisbladis> insep[m]: This is an mtk device
<adisbladis> There we go
<adisbladis> Everything in the log looks alright to me, but nothing on the screen
Piece_Maker has joined #nixos-aarch64
Acou_Bass has quit [Ping timeout: 265 seconds]
Piece_Maker is now known as Acou_Bass
ryantrinkle has joined #nixos-aarch64
<samueldr> adisbladis: I think it's possible for x11 to start, but not actually work
<samueldr> like if you're missing a specific set of option in the kernel config
<samueldr> at least, that's what I think I observed at one point with porint
<samueldr> with porting*
orivej has quit [Ping timeout: 240 seconds]
<adisbladis> samueldr: I tried flashing back the debian distro and they have the exact same issue with fbdev
<samueldr> great!
<samueldr> in a way
<adisbladis> So I might _have_ to get hwcomposer running :)
<adisbladis> samueldr: At least I'm not gonna spend more time on it
<samueldr> looks like it's all about getting those libhybris libraries going :)
<samueldr> I don't know that I will have the time to look at that before nixcon
<samueldr> but, at and after, definitely
<samueldr> pretty sure that as it is, the pixel 2 won't work with fbdev
<adisbladis> samueldr: I'm really looking forward to hackday :)
misuzu has quit [Remote host closed the connection]
misuzu has joined #nixos-aarch64
orivej has joined #nixos-aarch64
sigtrm has quit [Ping timeout: 240 seconds]
sigtrm has joined #nixos-aarch64
cptchaos83 has quit [Ping timeout: 240 seconds]
cptchaos83 has joined #nixos-aarch64
ris has joined #nixos-aarch64
aminechikhaoui has quit [Quit: The Lounge - https://thelounge.github.io]
aminechikhaoui has joined #nixos-aarch64
aminechikhaoui has quit [Client Quit]
aminechikhaoui has joined #nixos-aarch64
t184256 has joined #nixos-aarch64
sphalerite has quit [Quit: WeeChat 2.4]
sphalerite has joined #nixos-aarch64
sphalerite has quit [Client Quit]
zeta_0 has joined #nixos-aarch64
<zeta_0> does nixos work on rasberry pi 4?
<craige> https://github.com/NixOS/nixpkgs/issues/63720 says it's under active development, zeta_0 but samueldr may have a more accurate answer.
<{^_^}> #63720 (by majewsky, 15 weeks ago, open): Raspberry Pi 4 support
<craige> (had to look it up for my own curiosity)
<zeta_0> craige: thanks i'll take a look
<zeta_0> craige: is nixos difficult to install on a rasberry pi?
<craige> but everyone has a different measure for what difficult is :-)
liamdiprose has joined #nixos-aarch64
<makefu> "installing" is as easy as dd'ing the nixos sdimage onto an sd-card
<makefu> some caveats can be found here: https://nixos.wiki/wiki/NixOS_on_ARM/Raspberry_Pi
<craige> +1 makefu - my blog post really just builds on that to suit my own needs at that time.
<zeta_0> oh ok, will it work with the new nixos stable and unstable?
<craige> The Pi 3?
<zeta_0> pi 3 or 4?
<craige> There are aarch64 images being built for 19.09 successfully here: https://hydra.nixos.org/job/nixos/release-19.09/nixos.sd_image.aarch64-linux and I've not read that the Pi 3 has been deprecated. I'd download an image, dd it an sdcard and go to find out :-)
<craige> (I may be wrong but that's what I'd do)
<zeta_0> craige: or should i just wait until it works on the rasberry 4?
<craige> Are you making a purchasing decision or do you have the devices to hand?
<zeta_0> craige: i am trying to decide between a rasberry pi, or a android tv box on amazon?
<craige> Ah, well that's a whole other kettle of fish.
<zeta_0> craige: the android tv box looks simpler to setup but it doesn't have all the benefits of nixos, like `protonvpn-cli` nix package
<craige> I happily use a Pi 3 running Libreelec especially for that puropse. I also know that Liberelec had early hardware access to the Pi 4 and released for it when it became available.
<samueldr> #70796 has to be tested on hardware
<{^_^}> https://github.com/NixOS/nixpkgs/pull/70796 (by samueldr, 2 days ago, open): u-boot: Add Raspberry Pi 4 build
<craige> So if *I* was upgrading my media centre from Pi3 to Pi4, I'd run Kodi on LibreElec.
<craige> I'd also buy a second one to test NixOS on :-)
<zeta_0> craige: what is `LibreElec`?
<samueldr> a specfic linux distro
<samueldr> purpose-specific, even
<craige> ^^ A linux distribution dedicated to solely being a media centre.
<zeta_0> samueldr: so nixos is almost ready for rasberry pi 4? what else needs to be done?
<samueldr> once tested, if booting with u-boot + mainline works, it should be "done" as far as nixos is concerned
<samueldr> with the same caveats as the raspberry pi 3/+
<samueldr> mainly that it is aarch64 rather than armv7l; and mainline rather than using the raspberry pi foundation's fork
<samueldr> though using the raspberry pi foundation's fork can be one once running
<zeta_0> samueldr: so by when do you think it will be ready? i want to buy either a rasberry pi 4 or an android tv box?
<samueldr> so the main caveat is aarch64 specifics and the raspberry pi ecosystem
<samueldr> I don't have any ETA
<zeta_0> samueldr: if i buy a rasberry pi 4 will i have a lot of trouble trying to get it to work?
<samueldr> depends on what you want to do with it
<samueldr> since you said "android tv" it sounds like you want something for a media center
<samueldr> I don't know that it'll work out of the box; especially thinking about decoding acceleration
<zeta_0> samueldr: the new nixos versions have the `protonvpn-cli` package which i really want for kodi and online activities
<zeta_0> craige: that distro looks good but i want to stick to nixos
<craige> So do I - I've been using it since before I started using NixOS - looking to replace it ith NixOS myself.
<zeta_0> craige: thanks for the tips
<zeta_0> craige++
<{^_^}> craige's karma got increased to 1
<zeta_0> samueldr++
<{^_^}> samueldr's karma got increased to 124
<craige> Thanks zeta_0 - hope it's been of some help :-)
ryantrinkle has quit [Ping timeout: 240 seconds]
zeta_0 has quit [Quit: rcirc on GNU Emacs 26.1]