#ifndef PRINTK_H
#define PRINTK_H

#include <defs.h>

#include <stdint.h>

void write(char *str, uint8_t color) BLSEC_TEXT;

#endif