On Mon, Jun 06, 2022 at 10:47:38AM +0200, Marco d'Itri wrote: > Is this really worth the effort, considering that probably RISC-V is > going to be our last port for a very long time? you mean like 640kb should be enough for everyone? :) -- cheers, Holger ⢀⣴⠾⠻⢶⣦⠀ ⣾⠁⢠⠒⠀⣿⡁ holger@(debian|reproducible-builds|layer-acht).org ⢿⡄⠘⠷⠚⠋⠀ OpenPGP: B8BF54137B09D35CF026FE9D 091AB856069AAA1C ⠈⠳⣄ Words may inspire but only action creates change.
Attachment:
signature.asc
Description: PGP signature