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 , pkg-config
, numactl , numactl
, hwloc , hwloc
, papi
, enablePapi ? true
, cacheline ? 64 # bits , cacheline ? 64 # bits
, ovni ? null , ovni ? null
, useGit ? false , useGit ? false
@ -56,5 +58,5 @@ in
numactl numactl
hwloc hwloc
ovni ovni
]; ] ++ lib.optionals enablePapi [ papi ];
} }