//
// Created by rick on 02-02-21.
//

#ifndef NEW_KERNEL_LIBK_H
#define NEW_KERNEL_LIBK_H

void k_wait_for_interrupt();

void k_panics(const char* msg);

void k_panic();

#endif //NEW_KERNEL_LIBK_H