wash 285a80530d bootstrap: switch to ifc-generated ipc interface

2026-02-26 19:47:58 +00:00

arch/x86_64

cmake: fix run-kernel-monitor using unpatched kernel executable

2026-02-23 21:55:47 +00:00

base/boot/grub

sysroot: add a set of base system files

2026-02-21 23:21:52 +00:00

cmake

cmake: add support for building and installing interfaces

2026-02-26 19:46:02 +00:00

doc

add existing documentation

2024-11-02 15:09:10 +00:00

interface

interface: add sample filesystem interface

2026-02-26 19:47:16 +00:00

kernel @ 1c7c90ef39

meta: update kernel

2026-02-23 21:58:35 +00:00

lib

lib: delete hand-written msg interface libraries

2026-02-26 19:47:37 +00:00

programs

prog: add system management service

2026-02-19 19:32:44 +00:00

services

services: add ldd library loader service

2026-02-19 19:31:58 +00:00

sys

bootstrap: switch to ifc-generated ipc interface

2026-02-26 19:47:58 +00:00

toolchain

toolchain: add a program for compiling ipc interface definitions

2026-02-26 19:44:32 +00:00

util

meta: add tool to combine multiple compile-commands database files

2026-02-26 19:46:13 +00:00

.gitignore

meta: update gitignore

2026-02-19 19:22:27 +00:00

.gitmodules

meta: update kernel

2026-02-05 09:51:39 +00:00

CMakeLists.txt

interface: add sample filesystem interface

2026-02-26 19:47:16 +00:00

configure-build

meta: add tool to combine multiple compile-commands database files

2026-02-26 19:46:13 +00:00

S

Description

Operating system

1.2 MiB

Languages

C 78.8%

Python 11.4%

CMake 7.5%

Linker Script 1.4%

Shell 0.6%

Other 0.3%