Rodrigo Arias Mallo b442ddf1a4 Update Nanos6 to 4.2 ... Reviewed-by: Aleix Roca Nonell <aleix.rocanonell@bsc.es>		2024-11-27 16:10:50 +01:00
..
0001-Add-missing-cstdint-include.patch	Fix Nanos6 4.0 build	2024-04-23 12:03:49 +02:00
default.nix	Update Nanos6 to 4.2	2024-11-27 16:10:50 +01:00
jemalloc.nix	Add metadata for Nanos6	2023-10-03 10:00:34 +02:00