Keywords: pcode

Next: 2 Virtual Machine Up: HAFTA Overlord P-Code Definition Previous: Contents Contents

# 1 Introduction

This document defines the format of the system specification file used by the HAFTA overlord runtime (olrt).

The system specification is pcode in either an unassembled or assembled form. Both are defined here.

This is a very low-level specification, most HAFTA users will not need to understand this. It can be useful when debugging but is not necessary.