| 24 May 2023 |
 Alyssa Ross | j-k: currently only Graham is really able to do that, and it's difficult to get his attention | 09:26:17 |
| Alyssa Ross | in the meantime, the stdenv channel would probably make more sense than here? and it's not very active | 09:26:47 |
 j-k | #stdenv:nixos.org | 09:27:16 |
 qbit | in the raspberry pi.. boot .. menu (sorry, i don't know what booter it is..) when you do the "Enter choice:" to select your generation.. is it possible to edit those? | 16:41:22 |
| qbit | as in.. add kernel command line option things | 16:41:49 |
| qbit | i should just re-install.. it's in a bad state probably >.> | 16:44:04 |
 @withoutwithin:matrix.org | will I need to flash the EFI firmware to get the nixos visionfive2 image booting? | 23:32:09 |
| @withoutwithin:matrix.org | ah yes, i do | 23:35:55 |
| 25 May 2023 |
| @withoutwithin:matrix.org | oh ugh it needs me to connect the visionfive2 to a nixos machine over serial | 00:00:29 |
| @withoutwithin:matrix.org | that is kind of logistically annoying given my spacebar heating of running windows on my tower and sshing into nixos machines | 00:00:50 |
