blob: debce6bbe3e9e5cf4063f2ac5af7c4c533cd7899 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
/* -------------------------------------------
Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.
------------------------------------------- */
#include <BootKit/BootKit.h>
#include <BootKit/Platform.h>
#include <BootKit/Protocol.h>
#ifdef __BOOTZ_STANDALONE__
using namespace Boot;
EXTERN_C void rt_halt() {
while (Yes)
;
}
EXTERN_C void rt_cli() {}
EXTERN_C void rt_sti() {}
EXTERN_C void rt_cld() {}
EXTERN_C void rt_std() {}
#endif // __BOOTZ_STANDALONE__
|
