This describes the release 1.2 kernel (the “new item space” kernel).

KERNEL DESIGN PRINCIPLES

THE REAL THINGS

THE KERNEL’S USE OF REAL MEMORY

REAL KEYS

REAL NODES

ORGANIZATION OF THE CODE OF THE KERNEL

KERNEL SUBROUTINE AND MACRO FUNCTIONS

Timers

PROCESS SCHEDULER

EXTERNAL INTERRUPTS

INPUT/OUTPUT

ASSERTIONS

PROOFS

XA

DEBUGGING TOOLS

PERFORMANCE CONSIDERATIONS

CRASHES

DESIGN PROBLEMS and BUGS

GLOSSARY AND INDEX

GNOSIS .Text(Hdr)="";.Oddpage;.Snfshow=Off;
.Pxfshow=Off;.Ybs=1,0.125;.Irest=0;.Gybs=19,3.25;.Gyes=3,0.375;