path: root/Kernel/kstdio.h

#pragma once

#include "kprintf.h"

#define printf dbgprintf