coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
decompressor.c
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #include <bootblock_common.h>
4 #include <soc/mmu_operations.h>
5 
7 {
8  mtk_mmu_init();
9 }
__weak void decompressor_soc_init(void)
Definition: decompressor.c:37
void mtk_mmu_init(void)