RustForge

foundry

Foundry OS: the operating system built on the Rustbelt kernel

AgeCommit messageAuthorId
12 hours agoports/dash: fetch (SHA256-pinned, mirror list) and build dash 0.5.12 static-PIE with foundry-ccGrok Botbaf7b2d1a4
12 hours agodocs: M2 done; how to add a C program; plain -static ET_EXEC runs on 0.20.0 (noted, not relied on)Grok Bot01c85e80bd
12 hours agoM2: build c/ with foundry-cc, put hello-musl and fprobe in /bin, check them in make testGrok Boteeb17191ca
12 hours agoc/: hello-musl names the kernel and ELF type; fprobe, a 40-check libc self-checkGrok Bot3219ac028e
12 hours agoBump kernel pin to Rustbelt 0.20.0 (5291332)Grok Bot7acb8de4eb
12 hours agoports/README: fix a stray code fenceGrok Botea587e9ad0
12 hours agotoolchain: foundry-cc + musl-pie.specs, every C program and port is static-PIEGrok Bot7cf3556ce8
12 hours agoREADME and docs: beginner guide, glossary, boot contract v1/v2, plan, porting, gaps, kernel requests (K1)Grok Bot909242193c
12 hours agodocs/proposal.md: record the approval; replace 'vendored tarball' with the SHA256-pinned download cacheGrok Bot41e9df8f2e
12 hours agodocs/proposal.md: Clarke's approved proposal, copied unchanged from clarke-scratchGrok Botca4ae68107
12 hours agorootfs/etc: passwd, group, hosts, resolv.conf, motd for the future ext2 root (not staged under contract v1)Grok Bot7bb1fe293e
12 hours agotoolchain/musl, ports/, c/: SHA256-pinned download cache instead of vendored tarballsGrok Bot5b5c90c345
12 hours agomake test-reference: run the same headless checks on the kernel's own disk.imgGrok Bot141a05d500
12 hours agoBuild system: make image/run/test/compare against the pinned kernel a55b41dGrok Botb3a7cc7ae7
12 hours agorust/: Cargo workspace (rbsh, coreutils-rs, net, sys) sharing rbrt/ulib.rsGrok Bot0ffe635cd6
12 hours agoMove the shell, tools and net/sys programs into the rust/ layout; drop the ABI test fixturesGrok Bot2ca603aac8
12 hours agoImport rust-kernel disk/ with its history as rootfs/ (git subtree split at a55b41d)Grok Bot82182faf90
12 hours agoImport rust-kernel user/ with its history (git subtree split at a55b41d, Rustbelt 0.19.0)Grok Botf0db8ff6a5
12 hours agoStart Foundry OS: empty repo with .gitignore (out/, cache/)Grok Bot649975870b
12 hours agoStage 19: vDSO, static PIE and mremap (0.19.0)Edwardc075970bdb
13 hours agoDevice identities, ttyname, fd-message merging, /proc/self/cwd (Clarke's probe)Edward0b513e9df3
13 hours agoStage 18: Unix sockets and /proc/self (0.18.0)Edward4b17d4fa03
14 hours agoStage 18 prep: fixes from Clarke's 0.17.0 reviewEdward85f5cd4654
14 hours agoStage 17: coreutils batch 2 (0.17.0)Edwarde6eb9917e4
15 hours agoStage 16: libc batch 1 (0.16.0)Edwarda2549ec94f
1 day agoWIP 15.1: version bump, selftest/headless/screenshot, README chapterTyler Fowler4b42283414
1 day agoWIP 15.1: version bump, selftest/headless/screenshot, README chapterTyler Fowler5ba29e2307
1 day agoWIP 15.1: rawabi, a no-libc static Linux C binary (gcc -nostdlib), + testTyler Fowlerf3ac93a5e6
1 day agoWIP 15.1: Linux C-string path syscalls, struct stat, *at() calls, rename, pathtestTyler Fowlere8a1598981
1 day agoWIP 15.1: per-thread FPU/SSE/AVX state (XSAVE/FXSAVE), signal fpstate, #MF/#XM, fputestTyler Fowler618ed3f823
1 day agoWIP stage 15: select/ppoll/readv wrappers, more nbtest/ptytest checks, headless fixesTyler Fowler0094a45ff3
1 day agoWIP stage 15: libc plumbing (poll/epoll, nonblock, loopback, futex/threads, ptys)Tyler Fowler9b568e4e32
1 day agoWIP stage 15: libc plumbing (poll/epoll, nonblock, loopback, futex/threads, ptys)Tyler Fowler97b0cc346c
1 day agoStage 14: processes (0.14.0)Tyler Fowlerb28995537b
1 day agoStage 14: processes (0.14.0)Tyler Fowler5c8fa817a8
2 days agoStage 13: virtual drivers (0.13.0)Tyler Fowler692032b710
2 days agoStage 13: virtual drivers (0.13.0)Tyler Fowlere493cb8334
2 days agoStage 12: networking (0.12.0)Tyler Fowler8c422d3968
2 days agoStage 12: networking (0.12.0)Tyler Fowler235b98b1bd
2 days agoStage 11: core polish (0.11.0)Tyler Fowler2bd4007a98
2 days agoStage 11: core polish (0.11.0)Tyler Fowlerd478ebf57a
2 days agoStage 10: read-only btrfs driver (0.10.0)Tyler Fowlerf4142640ea
2 days agoStage 9: exFAT driver (0.9.0)Tyler Fowler493758cc36
2 days agoStage 8: ext2 driver (0.8.0)Tyler Fowlerf856a3aa4c
2 days agoStage 8: ext2 driver (0.8.0)Tyler Fowlerfa90f1679d
2 days agoShell: drive letters start at A: (root) instead of C:Tyler Fowler6423169956
2 days agoShell: drive letters start at A: (root) instead of C:Tyler Fowler15e5ecd0fb
2 days agoStage 7: Rustbelt shellTyler Fowlerb10b990e38
2 days agoStage 7: Rustbelt shellTyler Fowlerd3ec4b344a
2 days agoStage 6: PCI, virtio-blk, partitions, FAT32, spawn/wait and shell syscallsTyler Fowler519a3fb172