After Linux VM boots, PMU counters are not accessible to userspace applications. My hacky solution was re-enabling it via a custom system call at very beginning of notified function in VMM. This needs to patch the system call to seL4 kernel and recompile the Microkit SDK. It's necessary to figure out how to configure PMU access at VM's boot time or build time.
After Linux VM boots, PMU counters are not accessible to userspace applications. My hacky solution was re-enabling it via a custom system call at very beginning of
notifiedfunction in VMM. This needs to patch the system call to seL4 kernel and recompile the Microkit SDK. It's necessary to figure out how to configure PMU access at VM's boot time or build time.