belliash dddd1eb183 Rename internal kernel headers to distinguish them easily from XTDK

2023-11-29 20:39:59 +01:00

..

ari.h

Rename internal kernel headers to distinguish them easily from XTDK

2023-11-29 20:39:59 +01:00

globals.h

Let kernel initialize stack on it's own without relying on boot loader

2023-02-05 09:55:59 +01:00

hli.h

Rename internal kernel headers to distinguish them easily from XTDK

2023-11-29 20:39:59 +01:00

kei.h

Rename internal kernel headers to distinguish them easily from XTDK

2023-11-29 20:39:59 +01:00

mmi.h

Rename internal kernel headers to distinguish them easily from XTDK

2023-11-29 20:39:59 +01:00

rtli.h

Rename internal kernel headers to distinguish them easily from XTDK

2023-11-29 20:39:59 +01:00