GitHub - gkbrk/kernel: Cardinal kernel and operating system

Name	Name	Last commit message	Last commit date
Latest commit gkbrk Add std::move and std::swap to libk Mar 5, 2023 659a4fc · Mar 5, 2023 History 192 Commits
arch	arch	kernel: Do not switch tasks on IRQ0	Dec 25, 2022
kernel	kernel	runtime: BF write command should output to serial as well	Dec 25, 2022
libk	libk	Add std::move and std::swap to libk	Mar 5, 2023
no_flto_c	no_flto_c	Make a separate directory for non-LTO builtins	Nov 29, 2022
no_flto_cpp	no_flto_cpp	ubsan: Fix import statements	Nov 30, 2022
tar-drive	tar-drive	runtime: Load and execute BF code	Jun 1, 2021
.gitignore	.gitignore	build: Make configure script generate simple Makefile	Feb 20, 2021
boot.asm	boot.asm	Code cleanup, memory fixes, stability improvements	May 27, 2020
configure	configure	toolchain: Compile certain builtins without LTO to fix linker errors	Aug 24, 2021
configure.py	configure.py	Allow C++ files to be non_lto as well	Nov 29, 2022
kernel.cpp	kernel.cpp	kernel: Background task to print memory utilization	Dec 25, 2022
linker.ld	linker.ld	Call global constructors	Mar 31, 2020
mach	mach	mach: Start QMP server for debugging and profiling	Nov 30, 2022
todo.txt	todo.txt	Update todo	Jun 17, 2020

Provide feedback