![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <arch/cache.h>
#include <bootblock_common.h>
#include <soc/addressmap.h>
#include <soc/clock.h>
#include <soc/grf.h>
#include <soc/timer.h>
#include <symbols.h>
Go to the source code of this file.
Functions | |
void | bootblock_soc_init (void) |
Definition at line 11 of file bootblock.c.
References dcache_mmu_enable(), DCACHE_OFF, DCACHE_WRITETHROUGH, KHz, KiB, mmu_config_range(), mmu_config_range_kb(), mmu_init(), REGION_SIZE, rkclk_configure_crypto(), and rkclk_init().