Andreas Kling 98f76f0153 Flush the TLB after modifying page tables. ...

This is a very inefficient naive implementation, but it gets us going.
Mapping tasks in and out of a shared address space now totally works.

2018-10-23 11:03:56 +02:00

..

Boot

Move post-boot kernel stack pointer to 0x4000.

2018-10-21 21:51:12 +02:00

_fs_contents

Lots of hacking:

2018-10-23 10:12:50 +02:00

_hello.cpp

ELFLoader works inside the kernel!

2018-10-18 15:46:08 +02:00

_start.cpp

Import the "gerbert" kernel I worked on earlier this year.

2018-10-16 11:02:00 +02:00

_test.cpp

Tweak _test.o to use the putch() syscall.

2018-10-22 11:53:59 +02:00

.bochsrc

Integrate ext2 from VFS into Kernel.

2018-10-17 10:57:23 +02:00

.gitignore

Import the "gerbert" kernel I worked on earlier this year.

2018-10-16 11:02:00 +02:00

Assertions.h

Add a simple IDEDiskDevice class that implements DiskDevice from VFS.

2018-10-16 14:17:43 +02:00

CMOS.cpp

Import the "gerbert" kernel I worked on earlier this year.

2018-10-16 11:02:00 +02:00

CMOS.h

Import the "gerbert" kernel I worked on earlier this year.

2018-10-16 11:02:00 +02:00

Console.cpp

A lot of hacking:

2018-10-22 11:15:16 +02:00

Console.h

Make Console::m_rows/m_columns const for now.

2018-10-21 23:48:50 +02:00

DataBuffer.cpp

Import the "gerbert" kernel I worked on earlier this year.

2018-10-16 11:02:00 +02:00

DataBuffer.h

Import the "gerbert" kernel I worked on earlier this year.

2018-10-16 11:02:00 +02:00

Disk.cpp

Import the "gerbert" kernel I worked on earlier this year.

2018-10-16 11:02:00 +02:00

Disk.h

Import the "gerbert" kernel I worked on earlier this year.

2018-10-16 11:02:00 +02:00

ext2fs.h

Import the "gerbert" kernel I worked on earlier this year.

2018-10-16 11:02:00 +02:00

i386.cpp

Lots of hacking:

2018-10-23 10:12:50 +02:00

i386.h

Lots of hacking:

2018-10-23 10:12:50 +02:00

i8253.cpp

Lots of hacking:

2018-10-23 10:12:50 +02:00

i8253.h

Import the "gerbert" kernel I worked on earlier this year.

2018-10-16 11:02:00 +02:00

IDEDiskDevice.cpp

Add a simple IDEDiskDevice class that implements DiskDevice from VFS.

2018-10-16 14:17:43 +02:00

IDEDiskDevice.h

Add a simple IDEDiskDevice class that implements DiskDevice from VFS.

2018-10-16 14:17:43 +02:00

init.cpp

Flush the TLB after modifying page tables.

2018-10-23 11:03:56 +02:00

InlineLinkedList.h

Add an InlineLinkedList::containsSlow(T*) helper.

2018-10-21 23:48:27 +02:00

IO.cpp

Import the "gerbert" kernel I worked on earlier this year.

2018-10-16 11:02:00 +02:00

IO.h

Import the "gerbert" kernel I worked on earlier this year.

2018-10-16 11:02:00 +02:00

IPC.cpp

Import the "gerbert" kernel I worked on earlier this year.

2018-10-16 11:02:00 +02:00

IPC.h

A lot of hacking:

2018-10-22 11:15:16 +02:00

IRQHandler.cpp

Add IRQHandler class that can be subclasses to handle an IRQ.

2018-10-22 12:58:29 +02:00

IRQHandler.h

Add IRQHandler class that can be subclasses to handle an IRQ.

2018-10-22 12:58:29 +02:00

kassert.h

Lots of hacking:

2018-10-23 10:12:50 +02:00

Keyboard.cpp

Lots of hacking:

2018-10-23 10:12:50 +02:00

Keyboard.h

Lots of hacking:

2018-10-23 10:12:50 +02:00

kmalloc.cpp

Import the "gerbert" kernel I worked on earlier this year.

2018-10-16 11:02:00 +02:00

kmalloc.h

Import the "gerbert" kernel I worked on earlier this year.

2018-10-16 11:02:00 +02:00

kprintf.cpp

Move kprintf to its own file. It has nothing to do with VGA anymore.

2018-10-22 13:20:35 +02:00

kprintf.h

Move kprintf to its own file. It has nothing to do with VGA anymore.

2018-10-22 13:20:35 +02:00

kstdio.h

Move kprintf to its own file. It has nothing to do with VGA anymore.

2018-10-22 13:20:35 +02:00

ktime.h

Fix some minor build warnings.

2018-10-17 16:48:43 +02:00

linker.ld

Import the "gerbert" kernel I worked on earlier this year.

2018-10-16 11:02:00 +02:00

Makefile

Import very modest Userland.

2018-10-22 14:06:22 +02:00

MemoryManager.cpp

Flush the TLB after modifying page tables.

2018-10-23 11:03:56 +02:00

MemoryManager.h

Flush the TLB after modifying page tables.

2018-10-23 11:03:56 +02:00

panel.cpp

A lot of hacking:

2018-10-22 11:15:16 +02:00

PIC.cpp

A lot of hacking:

2018-10-22 11:15:16 +02:00

PIC.h

Add a PIC::getISR() helper.

2018-10-17 16:54:49 +02:00

Queue.h

Import the "gerbert" kernel I worked on earlier this year.

2018-10-16 11:02:00 +02:00

RefCounted.h

Import the "gerbert" kernel I worked on earlier this year.

2018-10-16 11:02:00 +02:00

RefPtr.h

Import the "gerbert" kernel I worked on earlier this year.

2018-10-16 11:02:00 +02:00

run

Allow running in QEMU with "./run q"

2018-10-17 16:58:35 +02:00

StdLib.cpp

Print the contents of motd.txt on boot.

2018-10-17 12:07:39 +02:00

StdLib.h

Integrate ext2 from VFS into Kernel.

2018-10-17 10:57:23 +02:00

sync-sh

Lots of hacking:

2018-10-23 10:12:50 +02:00

Syscall.cpp

Lots of hacking:

2018-10-23 10:12:50 +02:00

Syscall.h

Lots of hacking:

2018-10-23 10:12:50 +02:00

system.h

Import the "gerbert" kernel I worked on earlier this year.

2018-10-16 11:02:00 +02:00

Task.cpp

Lots of hacking:

2018-10-23 10:12:50 +02:00

Task.h

Lots of hacking:

2018-10-23 10:12:50 +02:00

TSS.h

Import the "gerbert" kernel I worked on earlier this year.

2018-10-16 11:02:00 +02:00

types.h

Add ALWAYS_INLINE macro.

2018-10-22 12:55:59 +02:00

Userspace.cpp

Tweak _test.o to use the putch() syscall.

2018-10-22 11:53:59 +02:00

Userspace.h

Tweak _test.o to use the putch() syscall.

2018-10-22 11:53:59 +02:00

VGA.cpp

Move kprintf to its own file. It has nothing to do with VGA anymore.

2018-10-22 13:20:35 +02:00

VGA.h

Move kprintf to its own file. It has nothing to do with VGA anymore.

2018-10-22 13:20:35 +02:00