| // Copyright 2016 The Fuchsia Authors |
| // Copyright (c) 2008 Travis Geiselbrecht |
| // |
| // Use of this source code is governed by a MIT-style |
| // license that can be found in the LICENSE file or at |
| // https://opensource.org/licenses/MIT |
| |
| #include <debug.h> |
| #include <err.h> |
| #include <platform.h> |
| |
| /* |
| * default implementations of these routines, if the platform code |
| * chooses not to implement. |
| */ |
| |
| __WEAK void platform_init_mmu_mappings() {} |
| |
| __WEAK void platform_early_init() {} |
| |
| __WEAK void platform_init() {} |
| |
| __WEAK void platform_prevm_init() {} |
| |
| __WEAK void platform_quiesce() {} |
| |
| __WEAK void platform_panic_start() {} |
| |
| __WEAK void* platform_get_ramdisk(size_t* size) { |
| *size = 0; |
| return NULL; |
| } |
