/*
 * 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;
}