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;

KEY LOGIC PROPRIETARY MATERIALS.Gcr;These materials contain confidential and proprietary information which is the property of Key Logic. These materials may not be duplicated, displayed, disclosed or used, in whole or in part, without the prior written consent of an officer of Key Logic..Pes;.Pxpshow=1;.Pxfshow=(1,2);.Ybs=0,0;.Pntype=2002;