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


1
2
3
4
5
6
7

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

#include <ArchKit/ArchKit.h>

namespace Kernel {}