WinkelCode

Windows Installation

Creating Partitions (`gdisk`)

(Setup-dependent) Run blkdiscard or nvme format -s [1/2] -r (followed by blkdiscard) for the disk.
EFI:
- Size: 100MiB
- Type: EF00 (EFI System Partition) (Type may be optional depending on modern UEFI firmware)
MSR (Microsoft Reserved):
- Size: 16MiB
- Type: 0C01 (Microsoft Reserved Partition)
- Always discard/zero the MSR after creation.

AI Agent Instructions

Working with the Design Documentation

The design documentation is written in Markdown with some extended features and lives in design/. mdBook builds it into a book, with the output written to .design_html/.

Note

mdBook processes the Markdown source through preprocessors and a renderer (backend), producing a static HTML site by default.

`SUMMARY.md` Is the Source of Truth

SUMMARY.md defines the structure and page hierarchy of the book. Every page must be listed there to appear in the rendered output.

	#!/usr/bin/env bash
	set -e

	file=$2
	if [ ! -f "$file" ]; then
	echo "File '$file' not found"
	exit 1
	fi

	secret="2EB38F7EC41D4B8E1422805BCD5F740BC3B95BE163E39D67579EB344427F7836"