1 2 3 4 5 6 7 8 9 10
#include <string.h> #include "mtrap.h" #include "platform_interface.h" void print_logo() { const char *logo = platform__get_logo(); if (logo != NULL) putstring(logo); }