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 int8 kstart[];
58
63extern int8 kend[];
64
69extern int terminal_rows;
70
75extern int terminal_columns;
76
81extern int64 fb_width;
82
87extern int64 fb_height;
88
89extern int64* wm_addr;
90
95void main(void);
The ACPI Shutdown Header for the kernel. For full ACPI refer acpi.h.
The ACPI Header.
This is a basic header files with FrostWing specific short forms and basically a good for life header...
Cross-compatible ASM header.
The CPUID instructions.
The headers files for E9 hack.
Contains all the print functions.
Header file for Hardware Abstraction Layer -> Source from GoGX OS.
Header files for heap.
int8 kstart[]
The memory address where the kernel starts.
int64 fb_width
An integer value which stores the framebuffer's (display) width.
void main(void)
The main kernel function.
int terminal_rows
An integer value which stores terminal's rows.
int terminal_columns
An integer value which stores terminal's columns.
int8 kend[]
The memory address where the kernel ends.
int64 fb_height
An integer value which stores the framebuffer's (display) height.
The PS/2 Keyboard interface code.
Contains a really basic implementation of a linked list.
Custom memory manipulation functions.
Contains code and definitons for Paging.
The Header files for actual PCI source.
Header for secure-boot.c.
SSE Header file.
Unix like standard streams.
The header file for strings.c.
This is the header file which contains all the tools used's versions.