Build nOS-V with PAPI support #11

Manually merged
rarias merged 1 commits from enable-papi-nosv into master 2025-08-01 13:35:41 +02:00

View File

@ -6,6 +6,8 @@
, pkg-config
, numactl
, hwloc
, papi
, enablePapi ? true
, cacheline ? 64 # bits
, ovni ? null
, useGit ? false
@ -56,5 +58,5 @@ in
numactl
hwloc
ovni
];
] ++ lib.optionals enablePapi [ papi ];
}