sbosse/basekernel
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Mon 14 Oct 23:06:38 CEST 2024

Browse Source
This commit is contained in:
sbosse 2024-10-14 23:08:09 +02:00
parent f29318a654
commit d25540ebf0
1 changed files with 27 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

27
kernel/kernelcore.h Normal file
View File

@ -0,0 +1,27 @@
/*
Copyright (C) 2015-2019 The University of Notre Dame
This software is distributed under the GNU General Public License.
See the file LICENSE for details.
*/
#ifndef KERNELCORE_H
#define KERNELCORE_H
#include "kernel/types.h"
extern uint16_t video_xbytes;
extern uint16_t video_xres;
extern uint16_t video_yres;
extern uint8_t *video_buffer;
extern uint16_t total_memory;
extern uint32_t kernel_size;
extern void halt();
extern void reboot();
extern void intr_return();
extern void *interrupt_stack_pointer;
#endif