defaultConfig :: Config
defaultConfig  = Config
  { cpu_clock_hz       = 168 * 1000 * 1000
  , tick_rate_hz       = 1000
  , max_priorities     = 5
  , minimal_stack_size = 256
  , total_heap_size    = 64 * 1024
  }
defaultConfig :: Config
defaultConfig  = Config
  { cpu_clock_hz       = 168 * 1000 * 1000
  , tick_rate_hz       = 1000
  , max_priorities     = 5
  , minimal_stack_size = 256
  , total_heap_size    = 64 * 1024
  }
defaultConfig  = Config
  { cpu_clock_hz       = 168 * 1000 * 1000
  , tick_rate_hz       = 1000
  , max_priorities     = 5
  , minimal_stack_size = 256
  , total_heap_size    = 64 * 1024
  }