qyliss changed the topic of #spectrum to: A compartmentalized operating system | https://spectrum-os.org/ | Logs: https://logs.spectrum-os.org/spectrum/
andi- has quit [Quit: WeeChat 2.6]
andi- has joined #spectrum
andi- has quit [Quit: WeeChat 2.6]
andi- has joined #spectrum
pie_ has quit [Ping timeout: 245 seconds]
pie_ has joined #spectrum
<pie_> all the people that dont want to include more things because of workload make me sad :P
pie__ has joined #spectrum
pie_ has quit [Ping timeout: 276 seconds]
pie__ has quit [Ping timeout: 246 seconds]
pie_ has joined #spectrum
multi has quit [Quit: updates]
multi has joined #spectrum
<pie_> scrolling through ehmry's repos i found https://git.sr.ht/~ehmry/dhall-genode which seems kind of relevant
pie_ has quit [Ping timeout: 245 seconds]
pie_ has joined #spectrum
<ehmry> pie_: I'm convinced now that adding new OS and CPU definitions to nixpkgs is a bad idea, and there should be a general mechanism for defining the platform out-of-tree
<ehmry> as for the dhall stuff, I was hopeing to find some mechanism for making routing across domains magically safer and correcter, but I'm not qualified to do that
<pie_> sounds reasonable, I dont know enough about either to comment :(
<qyliss> ehmry: what makes in-tree a bad idea?