1/*
2 * Copyright 2003-2012, Axel Dörfler, axeld@pinc-software.de.
3 * Distributed under the terms of the MIT License.
4 */
5
6
7#include <boot/platform.h>
8
9#include <stdio.h>
10#include <stdarg.h>
11
12
13void
14panic(const char *format, ...)
15{
16	va_list args;
17
18	puts("*** PANIC ***");
19	va_start(args, format);
20	vprintf(format, args);
21	va_end(args);
22}
23
24
25void
26dprintf(const char *format, ...)
27{
28	va_list args;
29
30	va_start(args, format);
31	vprintf(format, args);
32	va_end(args);
33}
34
35
36char*
37platform_debug_get_log_buffer(size_t* _size)
38{
39	return NULL;
40}
41