{ "compiler_path": "x86_64-w64-mingw32-gcc", "compiler_std": "c++20", "headers_path": ["../", "./"], "sources_path": ["src/*.cpp", "src/*.S"], "output_name": "libDDK.dll", "compiler_flags": [ "-ffreestanding", "-shared", "-std=c++20", "-fno-rtti", "-fno-exceptions", "-Wl,--subsystem=17" ], "cpp_macros": [ "__NEOSKRNL__", "__DDK_AMD64__", "__DDK__", "kDDKVersionHighest=0x0100", "kDDKVersionLowest=0x0100", "kDDKVersion=0x0100" ], "description": "C/C++ Driver Development Kit for the NeKernel System." }