#include "config.h"

unsigned int krf_rng_state = 0;
unsigned int krf_probability = 1000;
unsigned int krf_targeted_uid = 1002;
unsigned int krf_log_faults = 0;

krf_target_options_t krf_target_options = {0};
