#define MÜLL_IO_H

/*
 *    Minimal API for kernel I/O basics
 */

// includes
#include <stdint.h>

void RealPrint(const char* str);