1 #include <arch/mmu.h> 2 #include <kernel/mutex.h> 3 #include <kernel/thread.h> 4 #include <kernel/vm.h> 5 #include <lib/trusty/handle.h> 6 #include <lib/trusty/handle_set.h> 7 #include <lib/trusty/ipc.h> 8 #include <lib/trusty/uuid.h> 9 #include <lk/init.h> 10 #include <panic.h> 11 #include <stdio.h> 12 #include <streams.h> /* stubs for stdin, stdout, stderr */ 13 14 #include "error.h" 15 #include "config.h" /* for LK_LOGLEVEL_RUST */ 16