This repository has been archived on 2025-10-07. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Aleix Boné f962816eab Update PM gitlab URL to new server bscpm04.bsc.es ...

The old server has died, so we move to the new URL at bscpm04.bsc.es.

Reviewed-by: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Tested-by: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>

2025-03-07 15:21:11 +01:00

..

0001-Add-missing-cstdint-include.patch

Fix Nanos6 4.0 build

2024-04-23 12:03:49 +02:00

default.nix

Update PM gitlab URL to new server bscpm04.bsc.es

2025-03-07 15:21:11 +01:00

jemalloc.nix

Add metadata for Nanos6

2023-10-03 10:00:34 +02:00