//
// Created by rick on 28-01-21.
//

#ifndef NEW_KERNEL_KPRINT_H
#define NEW_KERNEL_KPRINT_H

#endif //NEW_KERNEL_KPRINT_H

#include <types.h>

typedef void (*kprint_handler)(const char *);

void kprint_register(kprint_handler);

void kprint(char *msg);