Just a reminder, if someone wants to fix it.
@ebin-dev can you confirm your box crashed before completing this program: cpufreq-switching-2.c
#include <stdio.h>
#include <stdint.h>
#include <stdlib.h>
#include <string.h>
#include <fcntl.h>
#include <malloc.h>
#include <unistd.h>
#include <sys/mman.h>
#define MAIN_LOOPS (100)
#define TRIALS_PER_TOGGLE (10)
#define MAX_MEGS (64)
#define CPUL 0
#define CPUB 1
const char *cpul_freqs[] = {
"408000",
"600000",
"816000",
"1008000",