Skip to content

fixpoint-linux image M-1 (x86_64)

Pre-release
Pre-release

Choose a tag to compare

@jmars jmars released this 05 Oct 12:35

fixpoint-linux bootable image — M-1 (x86_64)

A single raw disk image that boots fixpoint-linux under QEMU with
-drive only: no -kernel, no -initrd, no bootloader on the host. Built by
fx-image (fx-init @ 808ea9f).

  • fixpoint-m1-x86_64.raw.gz — 64 MiB raw image, gzip (≈16.8 MiB on the wire)
  • uncompressed sha256: 6cdd27518ed2fc4dd2cbcaecbc6abfec8b0cce72eba97d52ac078ad1f7d7d2d3

Boot it

curl -fL -o fixpoint.raw.gz \
  https://github.com/fixpoint-linux/fx-init/releases/download/image-m1/fixpoint-m1-x86_64.raw.gz
gunzip fixpoint.raw.gz

qemu-system-x86_64 -machine q35 -accel kvm -cpu host -m 2048 -nographic \
  -drive file=fixpoint.raw,format=raw,if=virtio

Serial console ends with fx-init: boot-ok v3. Ctrl-A X quits QEMU.

Provenance

Input Value
config m3/config-good.dhall
package set m3/package-set.dhall
kernel pin scripts/kernel-pin.txt (6.12.19-tiny, all drivers built-in)
fx-init 808ea9fea89a2b41cfb24030a39283045e8c0068
activated generation v3

The image carries a blank primary partition, formatted by the guest on first
boot (the -kernel path's semantics, packaged). It is an early milestone: the
system boots and reports its own verdict; it is not yet a general-purpose
desktop.