warmboot: Add device debug configuration

This commit is contained in:
Michael Scire
2018-12-17 13:22:08 -08:00
parent e0f1e637f7
commit 5f905c6b42
6 changed files with 320 additions and 1 deletions

View File

@@ -18,6 +18,7 @@
#include "lp0.h"
#include "mc.h"
#include "pmc.h"
#include "misc.h"
#include "timer.h"
void reboot(void) {
@@ -39,6 +40,9 @@ void lp0_entry_main(warmboot_metadata_t *meta) {
disable_bpmp_access_to_dram();
}
/* Configure debugging depending on FUSE_PRODUCTION_MODE */
configure_device_dbg_settings();
/* TODO: stuff */
while (true) { /* TODO: Halt BPMP */ }