Module os::config

Constants in the kernel

Constants

• CLOCK_FREQ
  clock frequency
• KERNEL_HEAP_SIZE
  kernel heap size
• KERNEL_STACK_SIZE
  kernel stack size
• MEMORY_END
  the physical memory end
• MMIO
  The base address of control registers in Virtio_Block device
• PAGE_SIZE
  page size : 4KB
• PAGE_SIZE_BITS
  page size bits: 12
• TRAMPOLINE
  the virtual addr of trapoline
• TRAP_CONTEXT_BASE
  the virtual addr of trap context
• USER_STACK_SIZE
  user app’s stack size