<irminsul> is there a way to quickly check if a resize would do anything? that seems like the best tweak here
<samueldr> I guess there must be, but I haven't thought of it in the few seconds I gave it
<irminsul> reasonable
<irminsul> I'll poke at it & probably send in a PR
<samueldr> great :)
<samueldr> there's so much polishing work to do still, laying out solid foundations is tough!
<irminsul> yeah!
<irminsul> I'm really excited about the potential here though
<irminsul> and like, having a way to get a bootable system with generations and wifi and an X server is already a huge thing
<irminsul> one thing I'm gonna have to look at is finding an arm-safe FDE technique
<samueldr> arm-safe?
<irminsul> AES is either extremely timing-leaky or extremely slow when implemented in software
<samueldr> ah
<samueldr> in that sense
<samueldr> basically, AFAIK the main (UX) issue for FDE right now with this setup is to provide a UI to enter a passphrase
<irminsul> and the dm-crypt options are all based on that
<samueldr> but that's something I'm "working on" right now
<samueldr> the actual FDE scheme being used is a bit out of the scope of what I do though :)
<samueldr> thing to note, if we forget about hardware support (e.g. wifi, bluetooth, hw accel, modems), all devices boot to basically parity
<samueldr> which is what excites me the most
<irminsul> except chacha20-poly1305, which one page says is bad bc of 96-bit nonces but 96-bit nonces still puts the collision time at 2^48, which is still like 144PB total written if it's one nonce per 512 bytes so *shrug*
<irminsul> samueldr: yeah it's super good!
<irminsul> the year of the linux armphone
<irminsul> re: passphrase, the best stage to put the passphrase on is in the bootloader
<irminsul> ie, before the generation gets selected
<irminsul> I think with this boot setup that's really the only place available anyway?
<samueldr> yes
<samueldr> lol
<samueldr> to select a generation you'll need to input the passphrase
<irminsul> accidentally good
<irminsul> the best kind of good
<samueldr> half-design, half-limitations
<samueldr> android devices are the main reason some things are designed the way they are
<samueldr> the only thing they can (pragmatically) boot are Linuces
<irminsul> I can't wait to annihilate android and just have a linux that can do calls & lte data
h0m1 has quit [Quit: WeeChat 2.8]
h0m1 has joined #nixos-aarch64
<irminsul> android is infuriating in so many ways
h0m1 has quit [Ping timeout: 260 seconds]
h0m1 has joined #nixos-aarch64
quinn has quit [Quit: ZNC 1.7.5 - https://znc.in]
quinn has joined #nixos-aarch64
quinn has quit [Quit: ZNC 1.7.5 - https://znc.in]
quinn has joined #nixos-aarch64
FRidh has joined #nixos-aarch64
orivej has joined #nixos-aarch64
DigitalKiwi has quit [Ping timeout: 244 seconds]
DigitalKiwi has joined #nixos-aarch64
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
FRidh has quit [Ping timeout: 258 seconds]
FRidh has joined #nixos-aarch64
orivej has quit [Ping timeout: 265 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Read error: Connection reset by peer]
orivej_ has joined #nixos-aarch64
cole-h has quit [Quit: Goodbye]
orivej_ has quit [Ping timeout: 256 seconds]
orivej has joined #nixos-aarch64
<fps> irminsul: agreed
orivej has quit [Ping timeout: 258 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 260 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 264 seconds]
orivej_ has joined #nixos-aarch64
orivej_ has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 264 seconds]
orivej_ has joined #nixos-aarch64
orivej has joined #nixos-aarch64
wavirc22 has quit [Quit: ZNC 1.7.2+deb3 - https://znc.in]
orivej_ has quit [Ping timeout: 256 seconds]
wavirc22 has joined #nixos-aarch64
orivej has quit [Ping timeout: 258 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 265 seconds]
orivej_ has joined #nixos-aarch64
orivej_ has quit [Ping timeout: 246 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 258 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 260 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 260 seconds]
orivej_ has joined #nixos-aarch64
orivej_ has quit [Ping timeout: 240 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 246 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
EatThem has joined #nixos-aarch64
orivej_ has joined #nixos-aarch64
orivej has quit [Ping timeout: 246 seconds]
orivej_ has quit [Ping timeout: 256 seconds]
orivej has joined #nixos-aarch64
rajivr has quit [Quit: Connection closed for inactivity]
orivej has quit [Ping timeout: 260 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 258 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
orivej_ has joined #nixos-aarch64
orivej has quit [Ping timeout: 265 seconds]
orivej_ has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
EatThem has quit [Ping timeout: 240 seconds]
EatThem has joined #nixos-aarch64
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
zupo has joined #nixos-aarch64
cole-h has joined #nixos-aarch64
orivej has quit [Ping timeout: 246 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
FRidh has quit [Ping timeout: 258 seconds]
orivej has quit [Ping timeout: 240 seconds]
orivej has joined #nixos-aarch64
FRidh has joined #nixos-aarch64
orivej has quit [Ping timeout: 256 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
EatThem has quit [Read error: Connection reset by peer]
EatThem has joined #nixos-aarch64
nschoe has joined #nixos-aarch64
nschoe has quit [Ping timeout: 272 seconds]
orivej_ has joined #nixos-aarch64
orivej has quit [Ping timeout: 264 seconds]
<colemickens> can we get pinephone nixos edition?
<colemickens> " To our knowledge, postmarketOS is the only non-Android free software phone operating system that offers full disk encryption"
orivej_ has quit [Ping timeout: 256 seconds]
orivej has joined #nixos-aarch64
EatThem has quit [Ping timeout: 272 seconds]
EatThem has joined #nixos-aarch64
<samueldr> "yet"
<samueldr> :D
<samueldr> colemickens: unlikely, I guess, due to volume
<samueldr> I could ask how many devices have to be made in a batch to get an edition, but I feel it's going to be too many for the expected roll-out
<colemickens> hmmm
<samueldr> like, if all the channel here ordered (which is unlikely) that's only 135 units
<colemickens> does pOS have that big of a user/install base? or name recognition or?
<colemickens> hm I didn't think to try to eyeball compare the community sizes
<samueldr> I don't know
<samueldr> though, one thing to consider, also, is pre-installed software :)
* colemickens nods
<samueldr> there is not much of a mobile nixos stage-2
<colemickens> I selfishly think it would be cool to see the nixos snowflake on the back of my phone :)
<samueldr> (yet)
<samueldr> I do too
<samueldr> luckily the back is removable
<colemickens> neat! thanks!
<samueldr> maybe it's possible to get only a set of backs done?
orivej has quit [Quit: No Ping reply in 180 seconds.]
<samueldr> (though numbers may be an issue still)
<samueldr> or more likely, that laser etching is our solution
<colemickens> Once 'rona passes I can probably take it to a local maker space and engrave myself
<samueldr> I think the main issue, imo, is that right now there is no way to order a brand-free pinephone!
orivej has joined #nixos-aarch64
<colemickens> It does feel a bit like I'm "voting" by buying from a certain batch.
<samueldr> yeah :/
<samueldr> tbf, ubports and postmarketOS are great projects
<samueldr> sure, they could be better if they used nix :)
orivej has quit [Quit: orivej]
EatThem has quit [Read error: Connection reset by peer]
EatThem has joined #nixos-aarch64
delroth has quit [Ping timeout: 272 seconds]
delroth has joined #nixos-aarch64
<ashkitten> samueldr: did i send you this? https://cloud.kity.wtf/s/Ms9Z7oy38FwDDwM/preview
<samueldr> nope
<samueldr> that's a spoof of the java installer?
<ashkitten> yep, inspired by this real section on the ubports device list "Sure, three billion devices run Java. But did you know that 39 devices run Ubuntu Touch?"
<samueldr> oh, nice, that's funnier because it's rooted in something real :)
<samueldr> ashkitten++
<{^_^}> ashkitten's karma got increased to 13, that's Numberwang!
<Thra11> Does it count up by one when it finishes installing?
<samueldr> I think the only nit they would have is that they're not related to canonical anymore :)
<ashkitten> Thra11: i think they've confused number of devices with number of device types
<Thra11> ashkitten: I was wondering which is was.
<ashkitten> samueldr: yeah i just pick on ubuntu generally for that, i wasn't sure if ubports had any relation to canonical
<ashkitten> it's a little disingenuous but still funny i think
FRidh has quit [Quit: Konversation terminated!]
<samueldr> yeah :) they are the continuation of the abandoned ubuntu touch
<ashkitten> i remember when ubuntu edge was the cool new crowdfunding campaign to flop on its face and die from lack of support
<samueldr> oh, I had forgotten about that
<samueldr> the design was quite neat
<ashkitten> sure was
<ashkitten> now we've got pinephone, which is better
<ashkitten> but it's not 2012 anymore ;-;
<samueldr> hm?
<ashkitten> it is no longer the past
<samueldr> because of its lower-end specs?
<ashkitten> i'm just complaining about how time moves forward generally
<samueldr> can't do much about that, sadly :/
<samueldr> I mean, on your phone I could probably do something about that, but it's probably not a good idea
<samueldr> systemd timer, every 1s set time
<ashkitten> lol
<samueldr> or switch_root into the system using faketime
<samueldr> and the faketime option where the time is static
<ashkitten> time is fake
<ashkitten> i wonder how many things would utterly break
<Thra11> I wonder if you could just create a timezone which is (constant - time) instead of (time ± constant).
<ashkitten> and you thought timezones were bad before...
<ashkitten> "wtf, in this country time goes backwards??"
cole-h has quit [Quit: Goodbye]
cole-h has joined #nixos-aarch64
orivej has joined #nixos-aarch64
dongcarl7 has joined #nixos-aarch64
dongcarl7 has quit [Client Quit]
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-aarch64
dongcarl has joined #nixos-aarch64
orivej has quit [Quit: No Ping reply in 210 seconds.]
orivej has joined #nixos-aarch64
orivej_ has joined #nixos-aarch64
orivej has quit [Ping timeout: 240 seconds]
zupo has joined #nixos-aarch64
orivej has joined #nixos-aarch64
orivej_ has quit [Ping timeout: 264 seconds]
orivej has quit [Ping timeout: 264 seconds]
orivej has joined #nixos-aarch64
<irminsul> woot
<irminsul> I have succesfully built a demo disk image with modifications
<irminsul> nix-build nixpkgs=/path/to/nixpkgs -I mobile-nixos=/path/to/mobile-nixos --argstr device pine64-pinephone-braveheart --arg configuration '[ (import examples/demo/configuration.nix) ]' --system aarch64-linux -A build.disk-image
<irminsul> unfortunately I'm not doing this on my fancy computer so when it built the kernel from source in qemu I had to wait overnight
<samueldr> in theory, if you had the same inputs as a generation that successfully built, it should have used the in-cache kernel
<irminsul> I thought I did but I'm kinda screwing around so I probably made a small mistake
<irminsul> I had other things to do so waiting a bit wasn't an issue
EatThem has quit [Quit: Quit]
<irminsul> looks like adding the firmware didn't give pulseaudio what it wanted
<irminsul> or wait
<samueldr> pulseaudio needs to be configured for audio just as with normal nixos
<samueldr> (I would accept a change that sets this up in the examples/demo)
<irminsul> didn't add the stage-1.firmware line :P
<samueldr> I haven't tested it, but I think it should work if it's also only in the hardware.firmware (for stage-2) config
<irminsul> huh, for some reason nix-build is ignoring the `allowUnfree=true;` in my ~/.config/nixpkgs/config.nix
<samueldr> probably due to a rude `import <nixpkgs> {}` or something similar?
<samueldr> I had a similar issue when I tried by I'm not sure why
<samueldr> I simply used the environment variable and left the thought for another day
<irminsul> ohhhh is that an issue with -I
<samueldr> I don't know
<irminsul> that feels like a bug
orivej has quit [Read error: Connection reset by peer]
orivej_ has joined #nixos-aarch64