#nixos-aarch64 on 2019-06-03

2018-09-23 16:56 gchristensen changed the topic of #nixos-aarch64 to: Get access to the NixOS Community aarch64 build box: https://github.com/nix-community/aarch64-build-box ... todo: https://hydra.nixos.org/jobset/nixpkgs/trunk#tabs-jobs build box status: https://monitoring.nix.ci/d/hkRCcV0mk/instance-metrics?var-instance=aarch64.nixos.community&orgId=1

06:10 orivej has joined #nixos-aarch64

07:14 Thra11 has quit [Ping timeout: 252 seconds]

07:36 sigtrm has quit [Ping timeout: 252 seconds]

07:41 c00w has quit [*.net *.split]

07:41 jackdk has quit [*.net *.split]

07:41 pkral has quit [*.net *.split]

07:41 Acou_Bass has quit [*.net *.split]

07:41 clever has quit [*.net *.split]

07:41 pbb has quit [*.net *.split]

07:42 nocent has quit [*.net *.split]

07:42 elvishjerricco has quit [*.net *.split]

07:42 NickHu has quit [*.net *.split]

07:42 timclassic has quit [*.net *.split]

07:42 shad has quit [*.net *.split]

07:42 thefloweringash has quit [*.net *.split]

07:42 codyopel has quit [*.net *.split]

07:42 ryantrinkle has quit [*.net *.split]

07:42 tilpner has quit [*.net *.split]

07:42 LnL has quit [*.net *.split]

07:42 duncan^ has quit [*.net *.split]

07:42 Ashy has quit [*.net *.split]

07:42 disasm has quit [*.net *.split]

07:42 nervengift has quit [*.net *.split]

07:42 edef has quit [*.net *.split]

07:42 nbp has quit [*.net *.split]

07:42 gchristensen has quit [*.net *.split]

07:42 bennofs[m] has quit [*.net *.split]

07:42 srk has quit [*.net *.split]

07:42 samueldr has quit [*.net *.split]

07:42 Dezgeg- has quit [*.net *.split]

07:42 angerman has quit [*.net *.split]

07:42 chris| has quit [*.net *.split]

07:42 adisbladis has quit [*.net *.split]

07:42 ekleog has quit [*.net *.split]

07:42 alienpirate5 has quit [*.net *.split]

07:42 timokau[m] has quit [*.net *.split]

07:42 orivej has quit [*.net *.split]

07:42 grw has quit [*.net *.split]

07:42 cornu has quit [*.net *.split]

07:42 danielrf[m] has quit [*.net *.split]

07:42 alj[m] has quit [*.net *.split]

07:42 dtz has quit [*.net *.split]

07:42 cstrahan__ has quit [*.net *.split]

07:42 alunduil has quit [*.net *.split]

07:42 makefu has quit [*.net *.split]

07:42 tom1 has quit [*.net *.split]

07:42 lopsided98 has quit [*.net *.split]

07:42 DigitalKiwi has quit [*.net *.split]

07:42 {^_^} has quit [*.net *.split]

07:42 sphalerit has quit [*.net *.split]

07:42 sphalerite has quit [*.net *.split]

07:42 flokli has quit [*.net *.split]

07:42 exarkun has quit [*.net *.split]

07:42 mog has quit [*.net *.split]

07:42 Aleksejs has quit [*.net *.split]

07:50 andi- has quit [Quit: WeeChat 2.4]

07:53 adisbladis has joined #nixos-aarch64

07:53 nervengift has joined #nixos-aarch64

07:53 Ashy has joined #nixos-aarch64

07:53 grw has joined #nixos-aarch64

07:53 Dezgeg- has joined #nixos-aarch64

07:53 Acou_Bass has joined #nixos-aarch64

07:53 sphalerit has joined #nixos-aarch64

07:53 Aleksejs has joined #nixos-aarch64

07:53 NickHu has joined #nixos-aarch64

07:53 exarkun has joined #nixos-aarch64

07:53 samueldr has joined #nixos-aarch64

07:53 nbp has joined #nixos-aarch64

07:53 timclassic has joined #nixos-aarch64

07:53 chris| has joined #nixos-aarch64

07:53 edef has joined #nixos-aarch64

07:53 clever has joined #nixos-aarch64

07:53 bennofs[m] has joined #nixos-aarch64

07:53 ekleog has joined #nixos-aarch64

07:53 c00w has joined #nixos-aarch64

07:53 codyopel has joined #nixos-aarch64

07:53 makefu has joined #nixos-aarch64

07:53 dtz has joined #nixos-aarch64

07:53 shad has joined #nixos-aarch64

07:53 hexa- has quit [Max SendQ exceeded]

07:53 pbb has joined #nixos-aarch64

07:53 nocent has joined #nixos-aarch64

07:53 elvishjerricco has joined #nixos-aarch64

07:57 hexa- has joined #nixos-aarch64

10:42 andi- has joined #nixos-aarch64

10:47 andi- has quit [Ping timeout: 252 seconds]

10:52 andi- has joined #nixos-aarch64

10:57 andi- has quit [Ping timeout: 258 seconds]

11:02 andi- has joined #nixos-aarch64

11:07 andi- has quit [Ping timeout: 252 seconds]

11:12 andi- has joined #nixos-aarch64

11:17 andi- has quit [Ping timeout: 252 seconds]

11:22 andi- has joined #nixos-aarch64

11:27 andi- has quit [Ping timeout: 248 seconds]

11:35 andi- has joined #nixos-aarch64

11:56 orivej has joined #nixos-aarch64

12:40 feepo has quit [Ping timeout: 252 seconds]

12:42 feepo has joined #nixos-aarch64

12:43 exarkun1 has quit [Ping timeout: 252 seconds]

12:44 exarkun1 has joined #nixos-aarch64

12:44 lopsided98 has joined #nixos-aarch64

12:46 {^_^} has joined #nixos-aarch64

13:05 orivej has quit [Ping timeout: 244 seconds]

13:06 orivej has joined #nixos-aarch64

13:33 elvishjerricco has quit [Ping timeout: 248 seconds]

13:35 {^_^} has quit [Ping timeout: 252 seconds]

13:35 elvishjerricco has joined #nixos-aarch64

13:44 {^_^} has joined #nixos-aarch64

14:33 ryantrinkle has joined #nixos-aarch64

15:01 ryantrinkle has quit [Ping timeout: 268 seconds]

15:19 ryantrinkle has joined #nixos-aarch64

15:52 <DigitalKiwi> anyone that can/wants to look over this around? https://github.com/NixOS/nixpkgs/pull/62334

15:52 <{^_^}> #62334 (by Kiwi, 2 days ago, open): hplip: add aarch64-linux to platforms

15:53 <DigitalKiwi> [redacted] opened 3 days ago by Kiwi

15:53 <DigitalKiwi> bloody timezones

16:30 v0|d has joined #nixos-aarch64

16:33 tilpner has joined #nixos-aarch64

17:12 orivej has quit [Ping timeout: 246 seconds]

18:24 orivej has joined #nixos-aarch64

18:39 Thra11 has joined #nixos-aarch64

20:09 pbb_ has joined #nixos-aarch64

20:15 pbb has quit [*.net *.split]

20:15 exarkun1 has quit [*.net *.split]

20:15 nocent has quit [*.net *.split]

20:21 nocent has joined #nixos-aarch64

20:25 <DigitalKiwi> yay it's merged

20:26 exarkun1 has joined #nixos-aarch64

20:26 exarkun1 has quit [Changing host]

20:26 Thra11 has quit [Ping timeout: 252 seconds]

20:27 <DigitalKiwi> can i ask about arduino here or is too offtopic (i've never done arduino wondering if the uno is a good one to start with?) i might want to do this https://www.makeuseof.com/tag/make-midi-controller-arduino/

20:29 st4ll1 has joined #nixos-aarch64

21:11 tilpner_ has joined #nixos-aarch64

21:11 tilpner has quit [Remote host closed the connection]

21:46 tilpner_ is now known as tilpner

22:19 <samueldr> about #62462 thinking about it some more, I could remove one change and make it mergeable without much after thought

22:19 <{^_^}> https://github.com/NixOS/nixpkgs/pull/62462 (by samueldr, 1 day ago, open): sd-image: FAT free /boot

22:19 <samueldr> my main issue with backwards compatibility, documentation and ease of use is how I just remove the gap

22:20 <samueldr> the 8MiB saved is not enough to warrant doing it in this change, and maybe ever really

22:24 <gchristensen> nice title

22:52 <lopsided98> DigitalKiwi: #nixos-chat is a better place for offtopic discussions

22:53 <samueldr> lopsided98: I see you looked at the PR, looks goot to you?

22:54 <samueldr> good*

22:54 <lopsided98> I haven't reviewed it, but I like the idea

22:54 <samueldr> right

22:54 <samueldr> I don't have rockchip hardware to validate assumptions on

22:55 <samueldr> do any of yours require bootloader setups that conflicted with the FAT32 partition?

22:59 <lopsided98> I haven't used the SD image on any of my Rockchip devices - I normally use nixos-install

23:00 <lopsided98> but as long as there are >1198812 bytes free in the beginning it should work (based on the current size of uboot)

23:00 <samueldr> you nixos-install from?

23:01 <samueldr> from another distro?

23:01 <lopsided98> I think I initially did it from a RPi 3, and then I did my RockPro64 from my Rock64

23:02 <samueldr> ah, right

23:02 <samueldr> yeah, the size of your u-boot means it's not built with the dumb as a rock rockchip tooling then

23:02 <samueldr> so it already should fit

23:03 <lopsided98> that U-Boot is 'pkgsCross.aarch64-multiplatform.ubootRockPro64', which is 1166044 bytes

23:03 <samueldr> yeah, I should have just looked :)

23:04 <lopsided98> The Rock64 U-Boot is slightly smaller

23:05 <samueldr> yeah, I was mostly thinking about http://opensource.rock-chips.com/wiki_Boot_option#Boot_flow

23:05 <samueldr> where the bootloader image is expected to be around 16MiB