add: higher half kernel, NOT WORKING
This commit is contained in:
parent
41786ea523
commit
5969dcca54
@ -1,29 +1,41 @@
|
|||||||
ENTRY(_start)
|
ENTRY (_start)
|
||||||
|
|
||||||
SECTIONS
|
SECTIONS
|
||||||
{
|
{
|
||||||
. = 2M;
|
. = 0x00100000;
|
||||||
|
/* The kernel will live at 3GB + 1MB in the virtual address space, */
|
||||||
|
/* which will be mapped to 1MB in the physical address space. */
|
||||||
|
/* Note that we page-align the sections. */
|
||||||
|
|
||||||
.text BLOCK(4K) : ALIGN(4K)
|
_kernel_start = .;
|
||||||
|
.multiboot.data : {
|
||||||
|
*(.multiboot.data)
|
||||||
|
}
|
||||||
|
|
||||||
|
.multiboot.text : {
|
||||||
|
*(.multiboot.text)
|
||||||
|
}
|
||||||
|
|
||||||
|
. += 0xC0000000;
|
||||||
|
/* Add a symbol that indicates the start address of the kernel. */
|
||||||
|
.text ALIGN (4K) : AT (ADDR (.text) - 0xC0000000)
|
||||||
{
|
{
|
||||||
*(.multiboot)
|
|
||||||
*(.text)
|
*(.text)
|
||||||
}
|
}
|
||||||
|
.rodata ALIGN (4K) : AT (ADDR (.rodata) - 0xC0000000)
|
||||||
.rodata BLOCK(4K) : ALIGN(4K)
|
|
||||||
{
|
{
|
||||||
*(.rodata)
|
*(.rodata)
|
||||||
}
|
}
|
||||||
|
.data ALIGN (4K) : AT (ADDR (.data) - 0xC0000000)
|
||||||
.data BLOCK(4K) : ALIGN(4K)
|
|
||||||
{
|
{
|
||||||
*(.data)
|
*(.data)
|
||||||
}
|
}
|
||||||
|
.bss ALIGN (4K) : AT (ADDR (.bss) - 0xC0000000)
|
||||||
.bss BLOCK(4K) : ALIGN(4K)
|
|
||||||
{
|
{
|
||||||
*(COMMON)
|
*(COMMON)
|
||||||
*(.bss)
|
*(.bss)
|
||||||
end_kernel = .;
|
*(.bootstrap_stack)
|
||||||
}
|
}
|
||||||
|
/* Add a symbol that indicates the end address of the kernel. */
|
||||||
|
_kernel_end = .;
|
||||||
}
|
}
|
@ -8,7 +8,7 @@
|
|||||||
|
|
||||||
#define VGA_WIDTH 80
|
#define VGA_WIDTH 80
|
||||||
#define VGA_HEIGHT 25
|
#define VGA_HEIGHT 25
|
||||||
#define TERM_BUF ((uint16_t *)0xB8000)
|
#define TERM_BUF ((uint16_t *)0xC03FF000)
|
||||||
#define TERM_COUNT 10
|
#define TERM_COUNT 10
|
||||||
|
|
||||||
struct screen {
|
struct screen {
|
||||||
|
188
src/boot.s
188
src/boot.s
@ -1,110 +1,120 @@
|
|||||||
/* Declare constants for the multiboot header. */
|
# Declare constants for the multiboot header.
|
||||||
.set ALIGN, 1<<0 /* align loaded modules on page boundaries */
|
.set ALIGN, 1<<0 # align loaded modules on page boundaries
|
||||||
.set MEMINFO, 1<<1 /* provide memory map */
|
.set MEMINFO, 1<<1 # provide memory map
|
||||||
.set FLAGS, ALIGN | MEMINFO /* this is the Multiboot 'flag' field */
|
.set FLAGS, ALIGN | MEMINFO # this is the Multiboot 'flag' field
|
||||||
.set MAGIC, 0x1BADB002 /* 'magic number' lets bootloader find the header */
|
.set MAGIC, 0x1BADB002 # 'magic number' lets bootloader find the header
|
||||||
.set CHECKSUM, -(MAGIC + FLAGS) /* checksum of above, to prove we are multiboot */
|
.set CHECKSUM, -(MAGIC + FLAGS) # checksum of above, to prove we are multiboot
|
||||||
|
|
||||||
/*
|
# Declare a multiboot header that marks the program as a kernel.
|
||||||
Declare a multiboot header that marks the program as a kernel. These are magic
|
.section .multiboot.data, "aw"
|
||||||
values that are documented in the multiboot standard. The bootloader will
|
|
||||||
search for this signature in the first 8 KiB of the kernel file, aligned at a
|
|
||||||
32-bit boundary. The signature is in its own section so the header can be
|
|
||||||
forced to be within the first 8 KiB of the kernel file.
|
|
||||||
*/
|
|
||||||
.section .multiboot
|
|
||||||
.align 4
|
.align 4
|
||||||
.long MAGIC
|
.long MAGIC
|
||||||
.long FLAGS
|
.long FLAGS
|
||||||
.long CHECKSUM
|
.long CHECKSUM
|
||||||
|
|
||||||
/*
|
# Allocate the initial stack.
|
||||||
The multiboot standard does not define the value of the stack pointer register
|
.section .bootstrap_stack, "aw", @nobits
|
||||||
(esp) and it is up to the kernel to provide a stack. This allocates room for a
|
|
||||||
small stack by creating a symbol at the bottom of it, then allocating 16384
|
|
||||||
bytes for it, and finally creating a symbol at the top. The stack grows
|
|
||||||
downwards on x86. The stack is in its own section so it can be marked nobits,
|
|
||||||
which means the kernel file is smaller because it does not contain an
|
|
||||||
uninitialized stack. The stack on x86 must be 16-byte aligned according to the
|
|
||||||
System V ABI standard and de-facto extensions. The compiler will assume the
|
|
||||||
stack is properly aligned and failure to align the stack will result in
|
|
||||||
undefined behavior.
|
|
||||||
*/
|
|
||||||
.section .bss
|
|
||||||
.align 16
|
|
||||||
stack_bottom:
|
stack_bottom:
|
||||||
.skip 16384 # 16 KiB
|
.skip 16384 # 16 KiB
|
||||||
stack_top:
|
stack_top:
|
||||||
|
|
||||||
/*
|
# Preallocate pages used for paging. Don't hard-code addresses and assume they
|
||||||
The linker script specifies _start as the entry point to the kernel and the
|
# are available, as the bootloader might have loaded its multiboot structures or
|
||||||
bootloader will jump to this position once the kernel has been loaded. It
|
# modules there. This lets the bootloader know it must avoid the addresses.
|
||||||
doesn't make sense to return from this function as the bootloader is gone.
|
.section .bss, "aw", @nobits
|
||||||
*/
|
.align 4096
|
||||||
.section .text
|
boot_page_directory:
|
||||||
|
.skip 4096
|
||||||
|
boot_page_table1:
|
||||||
|
.skip 4096
|
||||||
|
# Further page tables may be required if the kernel grows beyond 3 MiB.
|
||||||
|
|
||||||
|
# The kernel entry point.
|
||||||
|
.section .multiboot.text, "a"
|
||||||
.global _start
|
.global _start
|
||||||
.type _start, @function
|
.type _start, @function
|
||||||
_start:
|
_start:
|
||||||
/*
|
# Physical address of boot_page_table1.
|
||||||
The bootloader has loaded us into 32-bit protected mode on a x86
|
# TODO: I recall seeing some assembly that used a macro to do the
|
||||||
machine. Interrupts are disabled. Paging is disabled. The processor
|
# conversions to and from physical. Maybe this should be done in this
|
||||||
state is as defined in the multiboot standard. The kernel has full
|
# code as well?
|
||||||
control of the CPU. The kernel can only make use of hardware features
|
movl $(boot_page_table1 - 0xC0000000), %edi
|
||||||
and any code it provides as part of itself. There's no printf
|
# First address to map is address 0.
|
||||||
function, unless the kernel provides its own <stdio.h> header and a
|
# TODO: Start at the first kernel page instead. Alternatively map the first
|
||||||
printf implementation. There are no security restrictions, no
|
# 1 MiB as it can be generally useful, and there's no need to
|
||||||
safeguards, no debugging mechanisms, only what the kernel provides
|
# specially map the VGA buffer.
|
||||||
itself. It has absolute and complete power over the
|
movl $0, %esi
|
||||||
machine.
|
# Map 1023 pages. The 1024th will be the VGA text buffer.
|
||||||
*/
|
movl $1023, %ecx
|
||||||
|
|
||||||
/*
|
1:
|
||||||
To set up a stack, we set the esp register to point to the top of the
|
# Only map the kernel.
|
||||||
stack (as it grows downwards on x86 systems). This is necessarily done
|
cmpl $_kernel_start, %esi
|
||||||
in assembly as languages such as C cannot function without a stack.
|
jl 2f
|
||||||
*/
|
cmpl $(_kernel_end - 0xC0000000), %esi
|
||||||
|
jge 3f
|
||||||
|
|
||||||
|
# Map physical address as "present, writable". Note that this maps
|
||||||
|
# .text and .rodata as writable. Mind security and map them as non-writable.
|
||||||
|
movl %esi, %edx
|
||||||
|
orl $0x003, %edx
|
||||||
|
movl %edx, (%edi)
|
||||||
|
|
||||||
|
2:
|
||||||
|
# Size of page is 4096 bytes.
|
||||||
|
addl $4096, %esi
|
||||||
|
# Size of entries in boot_page_table1 is 4 bytes.
|
||||||
|
addl $4, %edi
|
||||||
|
# Loop to the next entry if we haven't finished.
|
||||||
|
loop 1b
|
||||||
|
|
||||||
|
3:
|
||||||
|
# Map VGA video memory to 0xC03FF000 as "present, writable".
|
||||||
|
movl $(0x000B8000 | 0x003), boot_page_table1 - 0xC0000000 + 1023 * 4
|
||||||
|
|
||||||
|
# The page table is used at both page directory entry 0 (virtually from 0x0
|
||||||
|
# to 0x3FFFFF) (thus identity mapping the kernel) and page directory entry
|
||||||
|
# 768 (virtually from 0xC0000000 to 0xC03FFFFF) (thus mapping it in the
|
||||||
|
# higher half). The kernel is identity mapped because enabling paging does
|
||||||
|
# not change the next instruction, which continues to be physical. The CPU
|
||||||
|
# would instead page fault if there was no identity mapping.
|
||||||
|
|
||||||
|
# Map the page table to both virtual addresses 0x00000000 and 0xC0000000.
|
||||||
|
movl $(boot_page_table1 - 0xC0000000 + 0x003), boot_page_directory - 0xC0000000 + 0
|
||||||
|
movl $(boot_page_table1 - 0xC0000000 + 0x003), boot_page_directory - 0xC0000000 + 768 * 4
|
||||||
|
|
||||||
|
# Set cr3 to the address of the boot_page_directory.
|
||||||
|
movl $(boot_page_directory - 0xC0000000), %ecx
|
||||||
|
movl %ecx, %cr3
|
||||||
|
|
||||||
|
# Enable paging and the write-protect bit.
|
||||||
|
movl %cr0, %ecx
|
||||||
|
orl $0x80010000, %ecx
|
||||||
|
movl %ecx, %cr0
|
||||||
|
|
||||||
|
# Jump to higher half with an absolute jump.
|
||||||
|
lea 4f, %ecx
|
||||||
|
jmp *%ecx
|
||||||
|
|
||||||
|
.section .text
|
||||||
|
|
||||||
|
4:
|
||||||
|
# At this point, paging is fully set up and enabled.
|
||||||
|
|
||||||
|
# Unmap the identity mapping as it is now unnecessary.
|
||||||
|
movl $0, boot_page_directory + 0
|
||||||
|
|
||||||
|
# Reload crc3 to force a TLB flush so the changes to take effect.
|
||||||
|
movl %cr3, %ecx
|
||||||
|
movl %ecx, %cr3
|
||||||
|
|
||||||
|
# Set up the stack.
|
||||||
mov $stack_top, %esp
|
mov $stack_top, %esp
|
||||||
|
|
||||||
/*
|
# Enter the high-level kernel.
|
||||||
This is a good place to initialize crucial processor state before the
|
|
||||||
high-level kernel is entered. It's best to minimize the early
|
|
||||||
environment where crucial features are offline. Note that the
|
|
||||||
processor is not fully initialized yet: Features such as floating
|
|
||||||
point instructions and instruction set extensions are not initialized
|
|
||||||
yet. The GDT should be loaded here. Paging should be enabled here.
|
|
||||||
C++ features such as global constructors and exceptions will require
|
|
||||||
runtime support to work as well.
|
|
||||||
*/
|
|
||||||
|
|
||||||
/*
|
|
||||||
Enter the high-level kernel. The ABI requires the stack is 16-byte
|
|
||||||
aligned at the time of the call instruction (which afterwards pushes
|
|
||||||
the return pointer of size 4 bytes). The stack was originally 16-byte
|
|
||||||
aligned above and we've pushed a multiple of 16 bytes to the
|
|
||||||
stack since (pushed 0 bytes so far), so the alignment has thus been
|
|
||||||
preserved and the call is well defined.
|
|
||||||
*/
|
|
||||||
call kernel_main
|
call kernel_main
|
||||||
|
|
||||||
/*
|
# Infinite loop if the system has nothing more to do.
|
||||||
If the system has nothing more to do, put the computer into an
|
|
||||||
infinite loop. To do that:
|
|
||||||
1) Disable interrupts with cli (clear interrupt enable in eflags).
|
|
||||||
They are already disabled by the bootloader, so this is not needed.
|
|
||||||
Mind that you might later enable interrupts and return from
|
|
||||||
kernel_main (which is sort of nonsensical to do).
|
|
||||||
2) Wait for the next interrupt to arrive with hlt (halt instruction).
|
|
||||||
Since they are disabled, this will lock up the computer.
|
|
||||||
3) Jump to the hlt instruction if it ever wakes up due to a
|
|
||||||
non-maskable interrupt occurring or due to system management mode.
|
|
||||||
*/
|
|
||||||
cli
|
cli
|
||||||
1: hlt
|
1: hlt
|
||||||
jmp 1b
|
jmp 1b
|
||||||
|
|
||||||
/*
|
|
||||||
Set the size of the _start symbol to the current location '.' minus its start.
|
|
||||||
This is useful when debugging or when you implement call tracing.
|
|
||||||
*/
|
|
||||||
.size _start, . - _start
|
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user