src/kernel/HALKit/AMD64/HalCoreSystemCalls+DDK.cpp


1
2
3
4
5
6
7
8

// SPDX-License-Identifier: Apache-2.0
// Copyright 2026, Amlal El Mahrouss (amlal@nekernel.org)
// Licensed under the Apache License, Version 2.0 (see LICENSE file)
// Official repository: https://github.com/ne-foss-org/nekernel

#include <ArchKit/ArchKit.h>

namespace Kernel {}