Plein d'assertions, pour un code plus sûr.

Correction d'un bug: le compilateur avait, de manière peu surprenante, raison

Remplacement de os::assert par une macro assert dans la "librairie standard"

Puisque j'ai retiré le hack dégueu, je n'ai plus besoin de cette librairie standard

J'ai commencé à implémenter des alloueurs de mémoire, et à les utiliser

J'ai toujours été pédante

Déplacement de memset et memcpy vers la "librairie standard"

Ajout de declval

J'ai réfléchi un peu aux types entiers

Retiré le hack dégueulasse pour importer la librairie standard. Commencé à implémenter une librairie "standard"

Simplification des makefiles

Changement de styles de commentaires pour les fichiers en assembleur

Précisions sur les fichiers et leur noms

Une déclaration un poil plus correcte pour deux des fonctions

Encore un peu de réflexion sur l'API des fichiers

Une entrée de menu plus sympae pour grub

Définition des lignes et fichiers texte. Décision de la non-nécessité d'existence préalable des points de montage

Simplification des structures qui gèrent la mémoire virtuelle

Impérialisme linguistique + changement d'API future pour les fichiers

Quick fix for gcc update (needed for contracts and modules)

Made paging structs slightly more consistent

Added setup of the new and improved memory map

Simplified on_all_pages and added logging the global memory map

Simplified the page mapping editing function, and genericised it

More RAM for qemu, because I want my debugging to be more realistic

Added basic structure to get ready for making a new, clean, PML4T right after boot

Removed two useless lines. Not important

Simplified some getters and setters, with the new template definitions

Made page a template, to support all the different page sizes

Made the paging structures templates. No point yet, but soon

Removed useless __attribute__((packed))s

Added (but didn't implement yet) the close syscall

Implemented basic read/write of a virtual file corresponding to the serial port

Got ready to implement the first 4 syscalls, though, like, that's not done just yet

Changed the future API a bit. Also, changed the syscall handler a bit because 1) %rdx was broken and 2) I was actually probably never gonna need the second return register, because of that new API

Made the build system work with guix (and my channel, which will be updated at some point to include this

Added printing of the framebuffer memory range

Made my life easier: removed infinite printing in test programs

Added -Wfatal-errors, because it's easier to use

Added support for multiple startup modules, and a second module to test yield better

Fixed missing value init in elf loader

Fixed STAR register, and %cr3 on yield

Implemented yield syscall and added uses of it. Not tested well yet

Removed println syscall

Fixed memory laundering and an assert

Implemented ports and processes better.

Fixed code and doc a tiny bit

Changed processes to save all (general-purpose) registers on syscalls (except for r11 and rcx, of course). Will keep working on them later

Changed doc a bit

Changed IPC method again. Gonna start implementation now

Removed dependency on correct user stack for syscall. Simplified code slightly as well

Modified build system a bit, to fix mistakes and simplify it. Only very small changes

Removed caching for RAM: should fix any possible errors because of different cache rules overlapping. Will make it good eventually

Updated dirty hack

Saved all registers required by the system V ABI. (Except for the disabled SSE2 one.)

Made a first change to the setup of the processes, to allow for correct saving of the registers on a process switch. Not finished yet

Made types a bit better

Made ints print in base 10

Added printing of phys_ptrs and pointers

Added phys_ptr<void>

Reimplemented the page allocator

Simplified implementation of `allocate` a bit

Implemented memset and memcpy, to make some for loops clearer

Made multiboot2.hpp a bit cleaner

Encapsulated running the first process into a function

Added missing save of rflags

Made the stack pages load lazily

Changed the handlers a bit, to make the code a bit simpler and clearer

Changed compile options a bit

Changed the instruction that jumps to ring 3 from sysretq to iretq

Wrote a new spec for the syscalls

Moved the loading of the elf program before the aquisition of most physical memory, in order to allow for freeing the corresponding multiboot module more easily

Changed basically nothing

Fixed mmap_print syscall, to work with the new processes data structures

Added automatic page mapping on some page faults. Also fixed a critical bug in the implementation of interrupt handlers with a error code

Moved elf loading to elf64.?pp, added the start of the needed architecture for multiple processes and IPC

Avoided future, and probably current, problems by enabling -fno-strict-aliasing

Added syscall to show userspace vmemory, to make debugging the kernel easier

Removed global bit on the low-memory mapping of the kernel: it was a mistake

Added the global bit to all pages in the higher half

Edited os::paging::setup_pages a bit. Notably, the global bit is now set for all hhigher-half memory

Edited comments a tiny bit

Used different comment symbol for .S files copyright & licence notices

Enable global bit for paging

Moved most asm simple utils to utils.?pp. Also fixed invlpg usage

Moved the code to initialise an empty page in the PML4T to paging.cpp

Merged stuff because I be silly

Added IPC design to doc.txt

Added basic API for IPC in doc.txt. Not implemented yet

Added support for haing multiple different syscalls (via a call jump table)

Fixed elf page-alignment necessity. Now only requires no page overlap

Removed assert that had become useless.

Added naming information to doc.txt

Fixed naming (amycros still present in some places). Also fixed .gitignore for naming and test_module (special case no longer needed)

Added a doc.txt file to specify the kernel documentation, and added a corresponding assert in the code

Currently, the documentation specifies how virtual memory is used.
The added assert ensures that any loaded elf program's segments are within the specified bounds.

Added missing copyright & licence disclaimers, and fixed the existing ones

Removed the linker script from the test module: it was unneeded

Fixed namespace-ending comments where that was needed

Removed some logging

Fixed bug in page counting for elf file loading. Added support for writeable segments of elf files (RO is still RO)