FrostWing
A lightweight raw-control operating system.
Loading...
Searching...
No Matches
kernel.h
Go to the documentation of this file.
1
11#include <flanterm/flanterm.h>
12#include <fb.h>
13#include <hal.h>
14#include <acpi.h>
15#include <acpi-shutdown.h>
16#include <pci.h>
17#include <graphics.h>
18#include <opengl/glcontext.h>
19#include <opengl/glbackend.h>
20#include <stddef.h>
21#include <stdint.h>
22#include <limine.h>
23#include <memory.h>
24#include <strings.h>
25#include <math/fpu.h>
26#include <sse.h>
27#include <debugger.h>
28#include <drivers/serial.h>
29#include <basics.h>
30#include <cpuid2.h>
31#include <heap.h>
32#include <drivers/pc-speaker.h>
33#include <drivers/rtl8139.h>
34#include <versions.h>
35#include <cc-asm.h>
36#include <secure-boot.h>
37#include <paging.h>
38#include <algorithms/hashing.h>
39#include <keyboard.h>
40#include <linkedlist.h>
41#include <ps2-mouse.h>
42#include <image/targa.h>
43#include <executables/fwde.h>
44#include <fdlfcn.h>
45#include <stream.h>
46
51#define KERNEL_OFFSET 0xffffffff00000000
52
57extern uint8 kstart[];
58
63extern uint8 kend[];
64
69extern int terminal_rows;
70
75extern int terminal_columns;
76
81extern uint64 fb_width;
82
87extern uint64 fb_height;
88
89extern uint64* wm_addr;
90
95void main(void);
96void shutdown(void);
97void reboot(void);
acpi-shutdown.h
The ACPI Shutdown Header for the kernel. For full ACPI refer acpi.h.
acpi.h
The ACPI Header.
basics.h
This is a basic header files with FrostWing specific short forms and basically a good for life header...
cc-asm.h
Cross-compatible ASM header.
cpuid2.h
The CPUID instructions.
debugger.h
The headers files for E9 hack.
graphics.h
Contains all the print functions.
hal.h
Header file for Hardware Abstraction Layer -> Source from GoGX OS.
heap.h
Header files for heap.
main
void main(void)
The main kernel function.
terminal_rows
int terminal_rows
An integer value which stores terminal's rows.
fb_height
uint64 fb_height
An integer value which stores the framebuffer's (display) height.
terminal_columns
int terminal_columns
An integer value which stores terminal's columns.
kend
uint8 kend[]
The memory address where the kernel ends.
fb_width
uint64 fb_width
An integer value which stores the framebuffer's (display) width.
kstart
uint8 kstart[]
The memory address where the kernel starts.
keyboard.h
The PS/2 Keyboard interface code.
linkedlist.h
Contains a really basic implementation of a linked list.
memory.h
Custom memory manipulation functions.
paging.h
Contains code and definitons for Paging.
pci.h
The Header files for actual PCI source.
secure-boot.h
Header for secure-boot.c.
sse.h
SSE Header file.
stream.h
Unix like standard streams.
strings.h
The header file for strings.c.
versions.h
This is the header file which contains all the tools used's versions.