/*
 * Copyright 2009, Ingo Weinhold, ingo_weinhold@gmx.de.
 * Distributed under the terms of the MIT License.
 */


#include <stdio.h>
#include <string.h>


#include <syscalls.h>


extern const char* __progname;

static const char* const kUsage =
	"Usage: %s [ <message> ]\n"
	"Enters the kernel debugger with the optional message.\n";


int
main(int argc, const char* const* argv)
{
	const char* message = "User command requested kernel debugger.";

	if (argc > 1) {
		if (strcmp(argv[1], "-h") == 0 || strcmp(argv[1], "--help") == 0) {
			printf(kUsage, __progname);
			return 0;
		}

		message = argv[1];
	}

	status_t error = _kern_kernel_debugger(message);
	if (error != B_OK) {
		fprintf(stderr, "Error: Entering the kernel debugger failed: %s\n",
			strerror(error));
		return 1;
	}

	return 0;
}