Working kernel written on C and userspace-ready #1

2026-05-03T09:06:59Z

karina commented

2026-05-03 09:06:59 +00:00

No description provided.

karina added 61 commits 2026-05-03 09:07:00 +00:00

build: now SwiftLSP correctly see bootinfo: 141c5e76d1

wip: transfer to laptop 0c1585a169

chore: add vanilla edk2 download for linux 5e225f8f7f

refactor: drop posix-uefi from bootloader a331d395d5

Replace the vendored POSIX-UEFI runtime with a small local EFI entry and header so the bootloader depends only on the UEFI interfaces it actually uses.

Made-with: Cursor

Merge pull request #5 from 0xKSor/ref/bootloader-refactor 7f686d6054

chore: compile_commands.json now is at {{TEMP_DIR}}/Kernel instead of Kernel sources 7aa49b37f5

wip: vectors, panics and lsp fix 97538aa098

wip: bare bones for C in kernel bfa84040b8

fix: clangd cf142ba78e

feat(kernel): add PL011 UART console and arch I/O helpers 502413b9ab

- Add IOSerial: PL011 (0x0900_0000) TX with FIFO-full polling, yield while waiting
- Add Arch/IO.h (32-bit MMIO with DSB) and Arch/CPU.h (yield, WFI)
- Extend types.h (e.g. ASCII, Address, Int/UInt aliases)
- Wire KernelMain to IOSerialPutString for early boot output
- Drop .sourcekit-lsp config; note IO glob in CMake (commented)

feat(kernel): add vectors.S and Exceptions.h/c as a stub for future exceptions handling 93bce5a46d

refactor(kernel): minor refactor. Changed naming convention f469da7e0b

feat: add kernel exception panic 373ee00d04

feat: formatter and oslog() 78dcfdd662

feat: error parse in panic 560bdc8b1d

Merge pull request #6 from 0xKSor/experimental/ckernel 0d8b38a9b9

Rewrite kernel in C

fix: preserve bootinfo pointer in kernel _start 730d88f9b0

feat: OSPanic(message) b606fa23d0

ref: renamed types.h to Types.h for match naming convention; also added Align.h and Bytes.h with helpers e49af76aef

build: switched to ninja 14912b8067

Merge pull request #7 from 0xKSor/refactor/renamed-types-to-Types e8a686f23f

ref: renamed types.h to Types.h for match naming convention; also add…

Merge pull request #8 from 0xKSor/build/switched-to-ninja a7f0fa3a15

build: switched to ninja

fix: rename types.h to Types.h to fix clang warnings 716dc37da1

build: added drun and dcrun (debugging) 77db85ccc5

Merge pull request #9 from 0xKSor/build/debugging 6d9402aac2

Build/debugging

fix: added missing backslash in justfile 1463402c6c

feat: kernel is now elf 6698c4ab3f

Merge pull request #11 from 0xKSor/feat/elf 8ede78359d

wip: dtb: 7d68e78cb2

wip: dtb; f15a146608

feat: parsing dtb 32931021d2

Merge pull request #12 from 0xKSor/feat/dtb 32544abb12

Feat/dtb

feat: checking bootinfo magic at the start of the kernel d0948b9f2b

build: removed drun, dcrun, crun and combined it as flags to run 32bb6a933e

Merge pull request #13 from 0xKSor/refactor/build a05b51fca3

build: removed drun, dcrun, crun and combined it as flags to run

feat: DTB now populates VMBootMemoryMap structure. 785a61b451

feat: completely functional PMM 55335013a9

Merge pull request #14 from 0xKSor/feat/pmm 3a55665bd7

PMM

feat(arm64): higher-half kernel, early MMU in boot, and VMM b56b55e4b3

fix(vmm): make MMU bring-up and kernel mappings reliable 5d010f7fb2

ref: cleaned code a bit 7935a6132e

Merge pull request #15 from 0xKSor/feat/vmm 270aae56b4

feat(arm64): higher-half kernel, VMM, and working MMU bring-up

feat: GICv2 and timer 7fcb50587e

fix: TimerReset in GIC.c now uses kTimerFrequency

fix: changed phyisical timer to virtual timer 8d675abae9

ref: cleaned debug logs f3e60da11d

Merge pull request #16 from 0xKSor/feat/gic 1f09260983

feat: GICv2 and timer

fix(timer): fixed warning about implict casting int to UInt64 3f51d93a4e

feat(scheduler): working scheduler e06abbcb23

Merge pull request #17 from 0xKSor/feat/scheduler fa6e8dfe7c

feat(scheduler): working scheduler

feat(panic): funMessages in panic b519e69fbd

feat(rand): also implemented rand

chore: general cleanup in code (removed unused includes and cosmetic stuff 272b9c8998

fix: scheduler L0 table confusion, PMM bitmap rounding, dead task handling 5673c44a99

fix: use rounded bitmap size in VMM kernel mapping calculation 7ff9f4ad4c

fix: plug memory map leak, save sp_el0, dynamic UART, kill loop 6dd68f8162

- Bootloader: reallocate memory map buffer when ExitBootServices fails,
  so GetMemoryMap doesn't scribble past the old allocation on retry.
- vectors.S: actually store sp_el0 into the exception frame. Previously
  it was read into x24 and then… vanished. EL0 tasks would wake up with
  a corrupted stack pointer. Not great.
- Serial: split hardcoded 0x09000000 into a fallback default; add
  SerialUpdate() so the DTB-parsed UART address actually gets used.
- DTB: add bounds check on reserved[] with PMM's 3 extra slots accounted
  for, so malformed/overstuffed DTBs don't silently corrupt memory.
- PMM.h: bump kVMMaxReservedRegions 128→256, define kPMMReservedRegionCount.
- Types.h: remove `#define loop while(1)`. while(true) is fine.
- Rename IOSerial* → Serial* — the IO prefix was redundant, Serial.c
  already lives under IO/.

build: added -Wno-incompatible-library-redeclaration to kernel cmakelists to disable warning a3dc3054b8

fix(VMM): use correct APTable encoding for table descriptors 359eaeb405

fix(VMM): use correct APTable encoding for table descriptors

fix(vmm): changed flags to match ARMv8

fix(serial): VMPhysToHHDM c428097ec6

chore: update .gitignore 684c7216fe

feat: CPUCleanAndInvalidateCode for future EL0 support 5ef70cc72d

fix(scheduler): yield fixed and dont panic 038219772e

Readme and license 2c7396353c

sonya commented

2026-05-03 09:12:47 +00:00

what the fuck

sonya commented

2026-05-03 09:12:54 +00:00

LGTM🔥

sonya merged commit e328bc8ef8 into main

2026-05-03 09:13:20 +00:00

Sign in to join this conversation.

2 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: 0xKSor/ksOS#1