blob: 9556699a98bd15c92c6272599cc7774b173b7dc5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
/* -------------------------------------------
Copyright (C) 2024-2025 Amlal EL Mahrouss, Licensed under Apache 2.0
------------------------------------------- */
#include <CompilerKit/Defines.h>
/// @file kdbg.cc
/// @brief NeKernel debugger.
CK_IMPORT_C Int32 DebuggerNeKernel(Int32 argc, Char const* argv[]);
/// @brief Debugger entrypoint.
/// @return Status code of debugger.
Int32 main(Int32 argc, Char const* argv[]) {
return DebuggerNeKernel(argc, argv);
}
|
