Karg
v0.2.0
The kernel of CargOS
Variables
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
src
platforms
virt.c
Generated by
1.9.1