// SPDX-License-Identifier: MPL-2.0
// This header is just here to include all standard header
// If you are looking for non-thread safe/more direct printing functions, take a look at kernel/log.h
#include "std/mem.h"
#include "std/malloc.h"
#include "std/print.h"
#include "std/smp.h"
#include "std/type.h"
#include "std/status.h"
#include "std/string.h"
#include "std/queue.h"