ReviewOS

home-lang/home-os

public
Clone

Push over the same URL. A password will not work: create a token under access tokens and use it in place of one.

Star 0 Watch 0

A safe, performant & modern operating system. Currently in development.

  • Open
    A3: volatile MMIO load/store semantics and barrier intrinsics in the Home language (dmb/dsb/isb, ldar/stlr, `*volatile T` lowering on aarch64)

    #53 opened 8 days ago by chris · 2 comments

  • Open
    A6.2: `home build --kernel --target=aarch64-freestanding` — explicit target selection, ELF64/aarch64 object emission, relocations, cross-compile from macOS/x86 CI

    #52 opened 8 days ago by chris · 2 comments

  • Open
    A6.1: aarch64 lowering for the kernel codegen path — a proof-of-life ladder mirroring Phase 0.5, ratcheted per Appendix-A file

    #51 opened 8 days ago by chris · 2 comments

  • Open
    10-foot HIG addendum: TV type scale, focus & selection language, safe areas, motion, remote-key grammar

    #50 opened 8 days ago by chris

  • Open
    Performance, memory and power budgets as CI gates (boot time, idle RSS/CPU, frame time, input latency, decode load, watts)

    #49 opened 8 days ago by chris

  • Open
    Hardware-in-the-loop rig for the Pi 5: bill of materials, wiring, host setup (Debug Probe, HDMI capture, power relay, TFTP boot)

    #48 opened 8 days ago by chris

  • Open
    ADR-MC5: Display architecture — HVS hardware planes, CPU-rasterised 1080p UI plane, native-resolution video plane, no V3D in v1

    #47 opened 8 days ago by chris

  • Open
    ADR-MC4: UI stack — stx authored, compiled ahead-of-time to Craft/Home; zero JavaScript on the device; zig-js reserved for post-v1 plugins

    #46 opened 8 days ago by chris

  • Open
    ADR-MC3: Media codecs — consume the Home stdlib `audio`/`video`/`image` packages (Zig, in the compiler repo) via Home bindings; port-to-Home tracked under A7

    #45 opened 8 days ago by chris

  • Open
    ADR-MC2: aarch64 kernel codegen strategy — extend the direct emitter (mirror of the x86-64 kernel path), LLVM only as a revisit trigger

    #44 opened 8 days ago by chris

  • Open
    ADR-MC1: Media-center product definition, non-goals, and budgets (the "Apple TV" spec)

    #43 opened 8 days ago by chris

  • Open
    A8: Zig-era syntax migration — 34 .home imports converted, 4 broken paths found

    #42 opened 8 days ago by chris

  • Open
    A2 complete: typecheck gate green at 39/39 — and what it found

    #40 opened 8 days ago by chris

  • Open
    A10: Systems types in the TypeScript-derived checker

    #39 opened 8 days ago by chris

  • Open
    Phases 3–7 scaffolding (from MASTER_PLAN) — milestone index

    #37 opened 8 days ago by chris

  • Open
    S8: arm64 mmio_read32 returns 0 / mmio_write32 no-op — every ARM64/Pi driver inert

    #36 opened 8 days ago by chris · 1 comment

  • Open
    S7: ACPI is 71 lines

    #35 opened 8 days ago by chris

  • Open
    S6: USB core is 44 lines

    #34 opened 8 days ago by chris

  • Open
    S5: crypto stubs (chacha20/poly1305/curve25519/blake2s)

    #33 opened 8 days ago by chris

  • Open
    S4: homefs is a 28-line import-satisfying stub — needs design doc then CoW implementation

    #32 opened 8 days ago by chris · 1 comment

  • Open
    S3: netdev RX path prints 'stub' and drops every frame

    #31 opened 8 days ago by chris

  • Open
    S2: fb_console font table implements only glyph 'A'

    #30 opened 8 days ago by chris

  • Open
    Phase 2 — Subsystem Realization: storage + net + console stub burndown (v0.3)

    #29 opened 8 days ago by chris

  • Open
    Phase 1 — Kernel Bring-up: boot to interactive serial shell (v0.2)

    #28 opened 8 days ago by chris

  • Open
    Phase 0 — Truth & Toolchain (umbrella)

    #22 opened 8 days ago by chris · 3 comments

  • Open
    Codemod: replace `!u32` / `!ptr` C-style truthiness with explicit `== 0` / `== null`

    #20 opened 9 days ago by glennmichael123

  • Open
    Function signature mismatches between modules surfaced after #11 import fixes

    #12 opened 9 days ago by glennmichael123

  • Open
    [Blocked by home-lang #6] Absorb kernel/iommu/tpm/usb/dtb/modsign packages from home-lang

    #9 opened 9 days ago by glennmichael123

  • Open
    [Blocked by home-lang #5] Replace rpi5_main.zig with a real .home ARM64 boot path

    #8 opened 9 days ago by glennmichael123 · 1 comment

  • Open
    Add bare-minimum CI: parse all .home + boot kernel_simple in QEMU

    #7 opened 9 days ago by glennmichael123