Karg  v0.2.0
The kernel of CargOS
virt.c File Reference
#include <dev.h>

Variables

const dev_node_t DEV_TABLE []
 
const u32 TIMER_FREQ = 10000000
 

Variable Documentation

◆ DEV_TABLE

const dev_node_t DEV_TABLE[]
Initial value:
= {
{.name = "plic", .addr = 0x0C000000},
{.name = "uart8250", .addr = 0x10000000, .irq = 10, .reg_size = 1},
{},
}

◆ TIMER_FREQ

const u32 TIMER_FREQ = 10000000