-"virtual memory" system. A much simpler model can be found in armfast.c,
-and that model goes faster too, but has a fixed amount of memory. This
-model's memory has 64K pages, allocated on demand from a 64K entry page
-table. The routines PutWord and GetWord implement this. Pages are never
-freed as they might be needed again. A single area of memory may be
-defined to generate aborts. */
-
-#include "armopts.h"
+ "virtual memory" system. A much simpler model can be found in armfast.c,
+ and that model goes faster too, but has a fixed amount of memory. This
+ model's memory has 64K pages, allocated on demand from a 64K entry page
+ table. The routines PutWord and GetWord implement this. Pages are never
+ freed as they might be needed again. A single area of memory may be
+ defined to generate aborts. */
+