#ifndef _NUCLEUS_KERNEL_H
#define _NUCLEUS_KERNEL_H

#include <stdarg.h>
#include <nucleus/lib.h>

void dbgprintf(char *str);
void kprintf(char *fmt, ...);
_Noreturn void panic(char *fmt, ...);

#define ASSERT(c) ({ \
	if (__builtin_expect(!(c),0)) \
		panic("Assertion failed (%s:%d): %s", \
		      __FILE__, __LINE__, #c); \
	c; \
})

#endif