Module Binsec.Kernel_core

Core kernel functions

val read_configuration_file : unit -> unit

read_configuration_file () reads the configuration file given by Kernel_options.Config_file