Rename internal kernel headers to distinguish them easily from XTDK
All checks were successful
Builds / ExectOS (amd64) (push) Successful in 26s
Builds / ExectOS (i686) (push) Successful in 25s

This commit is contained in:
2023-11-29 20:39:59 +01:00
parent 53d84b772a
commit dddd1eb183
16 changed files with 70 additions and 70 deletions

View File

@@ -14,15 +14,15 @@
/* Kernel specific headers */
#include "globals.h"
#include "hl.h"
#include "ke.h"
#include "mm.h"
#include "po.h"
#include "rtl.h"
#include "hli.h"
#include "kei.h"
#include "mmi.h"
#include "poi.h"
#include "rtli.h"
#include ARCH_HEADER(globals.h)
#include ARCH_HEADER(ar.h)
#include ARCH_HEADER(hl.h)
#include ARCH_HEADER(ke.h)
#include ARCH_HEADER(mm.h)
#include ARCH_HEADER(rtl.h)
#include ARCH_HEADER(ari.h)
#include ARCH_HEADER(hli.h)
#include ARCH_HEADER(kei.h)
#include ARCH_HEADER(mmi.h)
#include ARCH_HEADER(rtli.h)