/[gxemul]/trunk/src/machine.c

This is repository of my old source code which isn't updated any more. Go to git.rot13.org for current projects!

Diff of /trunk/src/machine.c

Parent Directory | Revision Log | View Patch Patch

-revision 6 by dpavlin,
Mon Oct  8 16:18:11 2007 UTC
+revision 16 by dpavlin,
Mon Oct  8 16:19:01 2007 UTC
 Line 25
   *  SUCH DAMAGE.
   *
   *
-  *  $Id: machine.c,v 1.452 2005/06/02 17:11:34 debug Exp $
+  *  $Id: machine.c,v 1.569 2005/10/11 03:31:27 debug Exp $
   *
   *  Emulation of specific machines.
   *
 Line 53
  #include "arcbios.h"
  #include "bus_pci.h"
  #include "cpu.h"
- #include "cpu_mips.h"
  #include "device.h"
  #include "devices.h"
  #include "diskimage.h"
-Line 65
+Line 64
  #include "net.h"
  #include "symbol.h"
+ /*  For Alpha emulation:  */
+ #include "alpha_rpb.h"
+ /*  For CATS emulation:  */
+ #include "cyclone_boot.h"
  /*  For SGI and ARC emulation:  */
  #include "sgi_arcbios.h"
  #include "crimereg.h"
+ /*  For evbmips emulation:  */
+ #include "maltareg.h"
  /*  For DECstation emulation:  */
  #include "dec_prom.h"
  #include "dec_bootinfo.h"
-Line 83
+Line 91
  #include "hpc_bootinfo.h"
  #include "vripreg.h"
+ #define BOOTSTR_BUFLEN          1000
+ #define BOOTARG_BUFLEN          2000
+ #define ETHERNET_STRING_MAXLEN  40
  struct machine_entry_subtype {
          int                     machine_subtype;/*  Old-style subtype  */
-Line 137 
 struct machine *machine_new(char *name,
+Line 148 
 struct machine *machine_new(char *name,
          m->name = strdup(name);
          /*  Sane default values:  */
-         m->serial_nr = 0;
+         m->serial_nr = 1;
          m->machine_type = MACHINE_NONE;
          m->machine_subtype = MACHINE_NONE;
+ #ifdef BINTRANS
          m->bintrans_enable = 1;
+         m->old_bintrans_enable = 1;
+ #endif
+         m->arch_pagesize = 4096;        /*  Should be overriden in
+                                             emul.c for other pagesizes.  */
+         m->dyntrans_alignment_check = 1;
          m->prom_emulation = 1;
          m->speed_tricks = 1;
          m->byte_order_override = NO_BYTE_ORDER_OVERRIDE;
-Line 171 
 int machine_name_to_type(char *stype, ch
+Line 188 
 int machine_name_to_type(char *stype, ch
          int *type, int *subtype, int *arch)
  {
          struct machine_entry *me;
-         int i, j, k;
+         int i, j, k, nmatches = 0;
          *type = MACHINE_NONE;
          *subtype = 0;
+         /*  Check stype, and optionally ssubtype:  */
          me = first_machine_entry;
          while (me != NULL) {
                  for (i=0; i<me->n_aliases; i++)
-Line 210 
 int machine_name_to_type(char *stype, ch
+Line 228 
 int machine_name_to_type(char *stype, ch
                  me = me->next;
          }
-         fatal("\nSorry, emulation \"%s\"", stype);
+         /*  Not found? Then just check ssubtype:  */
-         if (ssubtype != NULL && ssubtype[0] != '\0')
+         me = first_machine_entry;
-                 fatal(" (subtype \"%s\")", ssubtype);
+         while (me != NULL) {
-         fatal(" is unknown.\n");
+                 if (me->n_subtypes == 0) {
-         fatal("Use the -H command line option to get a list of available"
+                         me = me->next;
-             " types and subtypes.\n\n");
+                         continue;
+                 }
+                 /*  Check for subtype:  */
+                 for (j=0; j<me->n_subtypes; j++)
+                         for (k=0; k<me->subtype[j]->n_aliases; k++)
+                                 if (strcasecmp(ssubtype, me->subtype[j]->
+                                     aliases[k]) == 0) {
+                                         *type = me->machine_type;
+                                         *arch = me->arch;
+                                         *subtype = me->subtype[j]->
+                                             machine_subtype;
+                                         nmatches ++;
+                                 }
+                 me = me->next;
+         }
+         switch (nmatches) {
+         case 0: fatal("\nSorry, emulation \"%s\"", stype);
+                 if (ssubtype != NULL && ssubtype[0] != '\0')
+                         fatal(" (subtype \"%s\")", ssubtype);
+                 fatal(" is unknown.\n");
+                 break;
+         case 1: return 1;
+         default:fatal("\nSorry, multiple matches for \"%s\"", stype);
+                 if (ssubtype != NULL && ssubtype[0] != '\0')
+                         fatal(" (subtype \"%s\")", ssubtype);
+                 fatal(".\n");
+         }
+         *type = MACHINE_NONE;
+         *subtype = 0;
+         fatal("Use the -H command line option to get a list of "
+             "available types and subtypes.\n\n");
          return 0;
  }
-Line 337 
 void add_environment_string(struct cpu *
+Line 391 
 void add_environment_string(struct cpu *
  /*
+  *  add_environment_string_dual():
+  *
+  *  Add "dual" environment strings, one for the variable name and one for the
+  *  value, and update pointers afterwards.
+  */
+ void add_environment_string_dual(struct cpu *cpu,
+         uint64_t *ptrp, uint64_t *addrp, char *s1, char *s2)
+ {
+         uint64_t ptr = *ptrp, addr = *addrp;
+         store_32bit_word(cpu, ptr, addr);
+         ptr += sizeof(uint32_t);
+         if (addr != 0) {
+                 store_string(cpu, addr, s1);
+                 addr += strlen(s1) + 1;
+         }
+         store_32bit_word(cpu, ptr, addr);
+         ptr += sizeof(uint32_t);
+         if (addr != 0) {
+                 store_string(cpu, addr, s2);
+                 addr += strlen(s2) + 1;
+         }
+         *ptrp = ptr;
+         *addrp = addr;
+ }
+ /*
   *  store_64bit_word():
   *
   *  Stores a 64-bit word in emulated RAM.  Byte order is taken into account.
-Line 376 
 int store_64bit_word(struct cpu *cpu, ui
+Line 459 
 int store_64bit_word(struct cpu *cpu, ui
  int store_32bit_word(struct cpu *cpu, uint64_t addr, uint64_t data32)
  {
          unsigned char data[4];
-         if ((addr >> 32) == 0)
+         if (cpu->machine->arch == ARCH_MIPS && (addr >> 32) == 0)
                  addr = (int64_t)(int32_t)addr;
          data[0] = (data32 >> 24) & 255;
          data[1] = (data32 >> 16) & 255;
-Line 401 
 int store_32bit_word(struct cpu *cpu, ui
+Line 484 
 int store_32bit_word(struct cpu *cpu, ui
  int store_16bit_word(struct cpu *cpu, uint64_t addr, uint64_t data16)
  {
          unsigned char data[2];
-         if ((addr >> 32) == 0)
+         if (cpu->machine->arch == ARCH_MIPS && (addr >> 32) == 0)
                  addr = (int64_t)(int32_t)addr;
          data[0] = (data16 >> 8) & 255;
          data[1] = (data16) & 255;
-Line 422 
 void store_buf(struct cpu *cpu, uint64_t
+Line 505 
 void store_buf(struct cpu *cpu, uint64_t
  {
          int psize = 1024;       /*  1024 256 64 16 4 1  */
-         if ((addr >> 32) == 0)
+         if (cpu->machine->arch == ARCH_MIPS && (addr >> 32) == 0)
                  addr = (int64_t)(int32_t)addr;
          while (len != 0) {
-Line 475 
 uint32_t load_32bit_word(struct cpu *cpu
+Line 558 
 uint32_t load_32bit_word(struct cpu *cpu
  {
          unsigned char data[4];
-         if ((addr >> 32) == 0)
+         if (cpu->machine->arch == ARCH_MIPS && (addr >> 32) == 0)
                  addr = (int64_t)(int32_t)addr;
          cpu->memory_rw(cpu, cpu->mem,
              addr, data, sizeof(data), MEM_READ, CACHE_DATA);
-Line 499 
 uint16_t load_16bit_word(struct cpu *cpu
+Line 582 
 uint16_t load_16bit_word(struct cpu *cpu
  {
          unsigned char data[2];
-         if ((addr >> 32) == 0)
+         if (cpu->machine->arch == ARCH_MIPS && (addr >> 32) == 0)
                  addr = (int64_t)(int32_t)addr;
          cpu->memory_rw(cpu, cpu->mem,
              addr, data, sizeof(data), MEM_READ, CACHE_DATA);
-Line 1053 
 void sgi_ip32_interrupt(struct machine *
+Line 1136 
 void sgi_ip32_interrupt(struct machine *
           *  interrupt 2 should be asserted.
           *
           *  TODO:  how should all this be done nicely?
-          *
-          *  TODO:  mace interrupt mask
           */
          uint64_t crime_addr = CRIME_INTSTAT;
-         uint64_t mace_addr = 0x14;
+         uint64_t mace_addr = 0x10;
-         uint64_t crime_interrupts, crime_interrupts_mask, mace_interrupts;
+         uint64_t crime_interrupts, crime_interrupts_mask;
+         uint64_t mace_interrupts, mace_interrupt_mask;
          unsigned int i;
          unsigned char x[8];
+         /*  Read current MACE interrupt assertions:  */
+         memcpy(x, m->md_int.ip32.mace_data->reg + mace_addr,
+             sizeof(uint64_t));
+         mace_interrupts = 0;
+         for (i=0; i<sizeof(uint64_t); i++) {
+                 mace_interrupts <<= 8;
+                 mace_interrupts |= x[i];
+         }
+         /*  Read current MACE interrupt mask:  */
+         memcpy(x, m->md_int.ip32.mace_data->reg + mace_addr + 8,
+             sizeof(uint64_t));
+         mace_interrupt_mask = 0;
+         for (i=0; i<sizeof(uint64_t); i++) {
+                 mace_interrupt_mask <<= 8;
+                 mace_interrupt_mask |= x[i];
+         }
          /*
           *  This mapping of both MACE and CRIME interrupts into the same
           *  'int' is really ugly.
-Line 1074 
 void sgi_ip32_interrupt(struct machine *
+Line 1174 
 void sgi_ip32_interrupt(struct machine *
           *  TODO: fix.
           */
          if (irq_nr & MACE_PERIPH_SERIAL) {
-                 /*  Read current MACE interrupt bits:  */
-                 memcpy(x, m->md_int.ip32.mace_data->reg + mace_addr, sizeof(uint32_t));
-                 mace_interrupts = 0;
-                 for (i=0; i<sizeof(uint32_t); i++) {
-                         /*  SGI is big-endian...  */
-                         mace_interrupts <<= 8;
-                         mace_interrupts |= x[i];
-                 }
                  if (assrt)
                          mace_interrupts |= (irq_nr & ~MACE_PERIPH_SERIAL);
                  else
                          mace_interrupts &= ~(irq_nr & ~MACE_PERIPH_SERIAL);
-                 /*  Write back MACE interrupt bits:  */
-                 for (i=0; i<4; i++)
-                         x[3-i] = mace_interrupts >> (i*8);
-                 memcpy(m->md_int.ip32.mace_data->reg + mace_addr, x, sizeof(uint32_t));
                  irq_nr = MACE_PERIPH_SERIAL;
-                 if (mace_interrupts == 0)
+                 if ((mace_interrupts & mace_interrupt_mask) == 0)
                          assrt = 0;
                  else
                          assrt = 1;
-Line 1102 
 void sgi_ip32_interrupt(struct machine *
+Line 1188 
 void sgi_ip32_interrupt(struct machine *
          /*  Hopefully _MISC and _SERIAL will not be both on at the same time.  */
          if (irq_nr & MACE_PERIPH_MISC) {
-                 /*  Read current MACE interrupt bits:  */
-                 memcpy(x, m->md_int.ip32.mace_data->reg + mace_addr, sizeof(uint32_t));
-                 mace_interrupts = 0;
-                 for (i=0; i<sizeof(uint32_t); i++) {
-                         /*  SGI is big-endian...  */
-                         mace_interrupts <<= 8;
-                         mace_interrupts |= x[i];
-                 }
                  if (assrt)
                          mace_interrupts |= (irq_nr & ~MACE_PERIPH_MISC);
                  else
                          mace_interrupts &= ~(irq_nr & ~MACE_PERIPH_MISC);
-                 /*  Write back MACE interrupt bits:  */
-                 for (i=0; i<4; i++)
-                         x[3-i] = mace_interrupts >> (i*8);
-                 memcpy(m->md_int.ip32.mace_data->reg + mace_addr, x, sizeof(uint32_t));
                  irq_nr = MACE_PERIPH_MISC;
-                 if (mace_interrupts == 0)
+                 if ((mace_interrupts & mace_interrupt_mask) == 0)
                          assrt = 0;
                  else
                          assrt = 1;
          }
+         /*  Write back MACE interrupt assertions:  */
+         for (i=0; i<sizeof(uint64_t); i++)
+                 x[7-i] = mace_interrupts >> (i*8);
+         memcpy(m->md_int.ip32.mace_data->reg + mace_addr, x, sizeof(uint64_t));
          /*  Read CRIME_INTSTAT:  */
-         memcpy(x, m->md_int.ip32.crime_data->reg + crime_addr, sizeof(uint64_t));
+         memcpy(x, m->md_int.ip32.crime_data->reg + crime_addr,
+             sizeof(uint64_t));
          crime_interrupts = 0;
-         for (i=0; i<8; i++) {
+         for (i=0; i<sizeof(uint64_t); i++) {
-                 /*  SGI is big-endian...  */
                  crime_interrupts <<= 8;
                  crime_interrupts |= x[i];
          }
-Line 1143 
 void sgi_ip32_interrupt(struct machine *
+Line 1220 
 void sgi_ip32_interrupt(struct machine *
                  crime_interrupts &= ~irq_nr;
          /*  Write back CRIME_INTSTAT:  */
-         for (i=0; i<8; i++)
+         for (i=0; i<sizeof(uint64_t); i++)
                  x[7-i] = crime_interrupts >> (i*8);
-         memcpy(m->md_int.ip32.crime_data->reg + crime_addr, x, sizeof(uint64_t));
+         memcpy(m->md_int.ip32.crime_data->reg + crime_addr, x,
+             sizeof(uint64_t));
          /*  Read CRIME_INTMASK:  */
-         memcpy(x, m->md_int.ip32.crime_data->reg + CRIME_INTMASK, sizeof(uint64_t));
+         memcpy(x, m->md_int.ip32.crime_data->reg + CRIME_INTMASK,
+             sizeof(uint64_t));
          crime_interrupts_mask = 0;
-         for (i=0; i<8; i++) {
+         for (i=0; i<sizeof(uint64_t); i++) {
                  crime_interrupts_mask <<= 8;
                  crime_interrupts_mask |= x[i];
          }
-Line 1160 
 void sgi_ip32_interrupt(struct machine *
+Line 1239 
 void sgi_ip32_interrupt(struct machine *
          else
                  cpu_interrupt(cpu, 2);
-         /*  printf("sgi_crime_machine_irq(%i,%i): new interrupts = 0x%08x\n", assrt, irq_nr, crime_interrupts);  */
+         /*  printf("sgi_crime_machine_irq(%i,%i): new interrupts = 0x%08x\n",
+             assrt, irq_nr, crime_interrupts);  */
  }
-Line 1213 
 void au1x00_interrupt(struct machine *m,
+Line 1293 
 void au1x00_interrupt(struct machine *m,
  /*
+  *  Malta (evbmips) interrupts:
+  *
+  *  ISA interrupts.
+  *  (irq_nr = 16+8 can be used to just reassert/deassert interrupts.)
+  */
+ void malta_interrupt(struct machine *m, struct cpu *cpu, int irq_nr,
+         int assrt)
+ {
+         int mask;
+         irq_nr -= 8;
+         mask = 1 << (irq_nr & 7);
+         if (irq_nr < 8) {
+                 if (assrt)
+                         m->isa_pic_data.pic1->irr |= mask;
+                 else
+                         m->isa_pic_data.pic1->irr &= ~mask;
+         } else if (irq_nr < 16) {
+                 if (assrt)
+                         m->isa_pic_data.pic2->irr |= mask;
+                 else
+                         m->isa_pic_data.pic2->irr &= ~mask;
+         }
+         /*  Any interrupt assertions on PIC2 go to irq 2 on PIC1  */
+         /*  (TODO: don't hardcode this here)  */
+         if (m->isa_pic_data.pic2->irr &
+             ~m->isa_pic_data.pic2->ier)
+                 m->isa_pic_data.pic1->irr |= 0x04;
+         else
+                 m->isa_pic_data.pic1->irr &= ~0x04;
+         /*  Now, PIC1:  */
+         if (m->isa_pic_data.pic1->irr &
+             ~m->isa_pic_data.pic1->ier)
+                 cpu_interrupt(cpu, 2);
+         else
+                 cpu_interrupt_ack(cpu, 2);
+         /*  printf("MALTA: pic1.irr=0x%02x ier=0x%02x pic2.irr=0x%02x "
+             "ier=0x%02x\n", m->isa_pic_data.pic1->irr,
+             m->isa_pic_data.pic1->ier,
+             m->isa_pic_data.pic2->irr,
+             m->isa_pic_data.pic2->ier);  */
+ }
+ /*
+  *  Cobalt interrupts:
+  *
+  *  (irq_nr = 8 + 16 can be used to just reassert/deassert interrupts.)
+  */
+ void cobalt_interrupt(struct machine *m, struct cpu *cpu, int irq_nr, int assrt)
+ {
+         int mask;
+         irq_nr -= 8;
+         mask = 1 << (irq_nr & 7);
+         if (irq_nr < 8) {
+                 if (assrt)
+                         m->isa_pic_data.pic1->irr |= mask;
+                 else
+                         m->isa_pic_data.pic1->irr &= ~mask;
+         } else if (irq_nr < 16) {
+                 if (assrt)
+                         m->isa_pic_data.pic2->irr |= mask;
+                 else
+                         m->isa_pic_data.pic2->irr &= ~mask;
+         }
+         /*  Any interrupt assertions on PIC2 go to irq 2 on PIC1  */
+         /*  (TODO: don't hardcode this here)  */
+         if (m->isa_pic_data.pic2->irr &
+             ~m->isa_pic_data.pic2->ier)
+                 m->isa_pic_data.pic1->irr |= 0x04;
+         else
+                 m->isa_pic_data.pic1->irr &= ~0x04;
+         /*  Now, PIC1:  */
+         if (m->isa_pic_data.pic1->irr &
+             ~m->isa_pic_data.pic1->ier)
+                 cpu_interrupt(cpu, 6);
+         else
+                 cpu_interrupt_ack(cpu, 6);
+         /*  printf("COBALT: pic1.irr=0x%02x ier=0x%02x pic2.irr=0x%02x "
+             "ier=0x%02x\n", m->isa_pic_data.pic1->irr,
+             m->isa_pic_data.pic1->ier,
+             m->isa_pic_data.pic2->irr,
+             m->isa_pic_data.pic2->ier);  */
+ }
+ /*
   *  x86 (PC) interrupts:
   *
   *  (irq_nr = 16 can be used to just reassert/deassert interrupts.)
-Line 1223 
 void x86_pc_interrupt(struct machine *m,
+Line 1399 
 void x86_pc_interrupt(struct machine *m,
          if (irq_nr < 8) {
                  if (assrt)
-                         m->md.pc.pic1->irr |= mask;
+                         m->isa_pic_data.pic1->irr |= mask;
                  else
-                         m->md.pc.pic1->irr &= ~mask;
+                         m->isa_pic_data.pic1->irr &= ~mask;
          } else if (irq_nr < 16) {
-                 if (m->md.pc.pic2 == NULL) {
+                 if (m->isa_pic_data.pic2 == NULL) {
                          fatal("x86_pc_interrupt(): pic2 used (irq_nr = %i), "
                              "but we are emulating an XT?\n", irq_nr);
                          return;
                  }
                  if (assrt)
-                         m->md.pc.pic2->irr |= mask;
+                         m->isa_pic_data.pic2->irr |= mask;
                  else
-                         m->md.pc.pic2->irr &= ~mask;
+                         m->isa_pic_data.pic2->irr &= ~mask;
          }
-         if (m->md.pc.pic2 != NULL) {
+         if (m->isa_pic_data.pic2 != NULL) {
                  /*  Any interrupt assertions on PIC2 go to irq 2 on PIC1  */
                  /*  (TODO: don't hardcode this here)  */
-                 if (m->md.pc.pic2->irr & ~m->md.pc.pic2->ier)
+                 if (m->isa_pic_data.pic2->irr & ~m->isa_pic_data.pic2->ier)
-                         m->md.pc.pic1->irr |= 0x04;
+                         m->isa_pic_data.pic1->irr |= 0x04;
                  else
-                         m->md.pc.pic1->irr &= ~0x04;
+                         m->isa_pic_data.pic1->irr &= ~0x04;
          }
          /*  Now, PIC1:  */
-         if (m->md.pc.pic1->irr & ~m->md.pc.pic1->ier)
+         if (m->isa_pic_data.pic1->irr & ~m->isa_pic_data.pic1->ier)
                  cpu->cd.x86.interrupt_asserted = 1;
          else
                  cpu->cd.x86.interrupt_asserted = 0;
  }
+ /*
+  *  Footbridge interrupts:
+  *
+  *  0..31  = footbridge interrupt
+  *  32..47 = ISA (connected to IRQ_IN_L2 on CATS, L3 on NetWinder)
+  *  64     = reassert
+  */
+ void footbridge_interrupt(struct machine *m, struct cpu *cpu, int irq_nr,
+         int assrt)
+ {
+         uint32_t mask = 1 << (irq_nr & 31);
+         int old_isa_assert, new_isa_assert;
+         int isa_int = m->machine_type == MACHINE_CATS? 10 : 11;
+         old_isa_assert = m->isa_pic_data.pic1->irr & ~m->isa_pic_data.pic1->ier;
+         if (irq_nr >= 32 && irq_nr < 32 + 8) {
+                 int mm = 1 << (irq_nr & 7);
+                 if (assrt)
+                         m->isa_pic_data.pic1->irr |= mm;
+                 else
+                         m->isa_pic_data.pic1->irr &= ~mm;
+         } else if (irq_nr >= 32+8 && irq_nr < 32+16) {
+                 int mm = 1 << (irq_nr & 7);
+                 if (assrt)
+                         m->isa_pic_data.pic2->irr |= mm;
+                 else
+                         m->isa_pic_data.pic2->irr &= ~mm;
+         }
+         /*  Any interrupt assertions on PIC2 go to irq 2 on PIC1  */
+         /*  (TODO: don't hardcode this here)  */
+         if (m->isa_pic_data.pic2->irr & ~m->isa_pic_data.pic2->ier)
+                 m->isa_pic_data.pic1->irr |= 0x04;
+         else
+                 m->isa_pic_data.pic1->irr &= ~0x04;
+         /*  Now, PIC1:  */
+         new_isa_assert = m->isa_pic_data.pic1->irr & ~m->isa_pic_data.pic1->ier;
+         if (old_isa_assert != new_isa_assert) {
+                 if (new_isa_assert)
+                         cpu_interrupt(cpu, isa_int);
+                 else
+                         cpu_interrupt_ack(cpu, isa_int);
+                 return;
+         }
+         if (irq_nr < 32) {
+                 if (assrt)
+                         m->md_int.footbridge_data->irq_status |= mask;
+                 else
+                         m->md_int.footbridge_data->irq_status &= ~mask;
+         }
+         if (m->md_int.footbridge_data->irq_status &
+             m->md_int.footbridge_data->irq_enable)
+                 cpu_interrupt(cpu, 65);
+         else
+                 cpu_interrupt_ack(cpu, 65);
+ }
  /****************************************************************************
   *                                                                          *
   *                  Machine dependant Initialization routines               *
-Line 1274 
 void machine_setup(struct machine *machi
+Line 1512 
 void machine_setup(struct machine *machi
          int i, j;
          struct memory *mem;
          char tmpstr[1000];
+         struct cons_data *cons_data;
          /*  DECstation:  */
          char *framebuffer_console_name, *serial_console_name;
-Line 1310 
 void machine_setup(struct machine *machi
+Line 1549 
 void machine_setup(struct machine *machi
          char *init_bootpath;
          /*  PCI stuff:  */
-         struct pci_data *pci_data;
+         struct pci_data *pci_data = NULL;
          /*  Framebuffer stuff:  */
-         struct vfb_data *fb;
+         struct vfb_data *fb = NULL;
          /*  Abreviation:  :-)  */
          struct cpu *cpu = machine->cpus[machine->bootstrap_cpu];
-Line 1330 
 void machine_setup(struct machine *machi
+Line 1569 
 void machine_setup(struct machine *machi
                  case MACHINE_ARC:
                          machine->boot_string_argument = "-aN";
                          break;
+                 case MACHINE_CATS:
+                         machine->boot_string_argument = "-A";
+                         break;
                  case MACHINE_DEC:
                          machine->boot_string_argument = "-a";
                          break;
-Line 1346 
 void machine_setup(struct machine *machi
+Line 1588 
 void machine_setup(struct machine *machi
                  printf("\nNo emulation type specified.\n");
                  exit(1);
+ #ifdef ENABLE_MIPS
          case MACHINE_BAREMIPS:
                  /*
                   *  A "bare" MIPS test machine.
-Line 1358 
 void machine_setup(struct machine *machi
+Line 1601 
 void machine_setup(struct machine *machi
          case MACHINE_TESTMIPS:
                  /*
-                  *  A MIPS test machine (which happens to work with my
+                  *  A MIPS test machine (which happens to work with the
-                  *  thesis work).
+                  *  code in my master's thesis).  :-)
+                  *
+                  *  IRQ map:
+                  *      7       CPU counter
+                  *      6       SMP IPIs
+                  *      5       not used yet
+                  *      4       not used yet
+                  *      3       ethernet
+                  *      2       serial console
                   */
                  cpu->byte_order = EMUL_BIG_ENDIAN;
                  machine->machine_name = "MIPS test machine";
-                 machine->main_console_handle = dev_cons_init(
+                 snprintf(tmpstr, sizeof(tmpstr), "cons addr=0x%llx irq=2",
-                     machine, mem, DEV_CONS_ADDRESS, "console", 2);
+                     (long long)DEV_CONS_ADDRESS);
+                 cons_data = device_add(machine, tmpstr);
+                 machine->main_console_handle = cons_data->console_handle;
-                 snprintf(tmpstr, sizeof(tmpstr) - 1, "mp addr=0x%llx",
+                 snprintf(tmpstr, sizeof(tmpstr), "mp addr=0x%llx",
                      (long long)DEV_MP_ADDRESS);
                  device_add(machine, tmpstr);
-                 fb = dev_fb_init(machine, mem, 0x12000000, VFB_GENERIC,
+                 fb = dev_fb_init(machine, mem, DEV_FB_ADDRESS, VFB_GENERIC,
-,480, 640,480, 24, "generic", 1);
+,480, 640,480, 24, "testmips generic");
+                 snprintf(tmpstr, sizeof(tmpstr), "disk addr=0x%llx",
+                     (long long)DEV_DISK_ADDRESS);
+                 device_add(machine, tmpstr);
+                 snprintf(tmpstr, sizeof(tmpstr), "ether addr=0x%llx irq=3",
+                     (long long)DEV_ETHER_ADDRESS);
+                 device_add(machine, tmpstr);
                  break;
          case MACHINE_DEC:
-Line 1414 
 void machine_setup(struct machine *machi
+Line 1676 
 void machine_setup(struct machine *machi
                           */
                          fb = dev_fb_init(machine, mem, KN01_PHYS_FBUF_START,
                              color_fb_flag? VFB_DEC_VFB02 : VFB_DEC_VFB01,
-,0,0,0,0, color_fb_flag? "VFB02":"VFB01", 1);
+,0,0,0,0, color_fb_flag? "VFB02":"VFB01");
                          dev_colorplanemask_init(mem, KN01_PHYS_COLMASK_START, &fb->color_plane_mask);
                          dev_vdac_init(mem, KN01_SYS_VDAC, fb->rgb_palette, color_fb_flag);
                          dev_le_init(machine, mem, KN01_SYS_LANCE, KN01_SYS_LANCE_B_START, KN01_SYS_LANCE_B_END, KN01_INT_LANCE, 4*1048576);
-Line 1846 
 void machine_setup(struct machine *machi
+Line 2108 
 void machine_setup(struct machine *machi
                          dev_le_init(machine, mem, KN230_SYS_LANCE, KN230_SYS_LANCE_B_START, KN230_SYS_LANCE_B_END, KN230_CSR_INTR_LANCE, 4*1048576);
                          dev_sii_init(machine, mem, KN230_SYS_SII, KN230_SYS_SII_B_START, KN230_SYS_SII_B_END, KN230_CSR_INTR_SII);
-                         snprintf(tmpstr, sizeof(tmpstr) - 1,
+                         snprintf(tmpstr, sizeof(tmpstr),
                              "kn230 addr=0x%llx", (long long)KN230_SYS_ICSR);
                          machine->md_int.kn230_csr = device_add(machine, tmpstr);
-Line 1864 
 void machine_setup(struct machine *machi
+Line 2126 
 void machine_setup(struct machine *machi
                   */
                  dev_ram_init(mem, 0xa0000000, 0x20000000, DEV_RAM_MIRROR, 0x0);
-                 /*  DECstation PROM stuff:  (TODO: endianness)  */
+                 if (machine->prom_emulation) {
-                 for (i=0; i<100; i++)
+                         /*  DECstation PROM stuff:  (TODO: endianness)  */
-                         store_32bit_word(cpu, DEC_PROM_CALLBACK_STRUCT + i*4,
+                         for (i=0; i<100; i++)
-                             DEC_PROM_EMULATION + i*8);
+                                 store_32bit_word(cpu, DEC_PROM_CALLBACK_STRUCT + i*4,
+                                     DEC_PROM_EMULATION + i*8);
-                 /*  Fill PROM with dummy return instructions:  (TODO: make this nicer)  */
-                 for (i=0; i<100; i++) {
+                         /*  Fill PROM with dummy return instructions:  (TODO: make this nicer)  */
-                         store_32bit_word(cpu, DEC_PROM_EMULATION + i*8,
+                         for (i=0; i<100; i++) {
-x03e00008);        /*  return  */
+                                 store_32bit_word(cpu, DEC_PROM_EMULATION + i*8,
-                         store_32bit_word(cpu, DEC_PROM_EMULATION + i*8 + 4,
+x03e00008);        /*  return  */
-x00000000);        /*  nop  */
+                                 store_32bit_word(cpu, DEC_PROM_EMULATION + i*8 + 4,
-                 }
+x00000000);        /*  nop  */
+                         }
-                 /*
+                         /*
-                  *  According to dec_prom.h from NetBSD:
+                          *  According to dec_prom.h from NetBSD:
-                  *
+                          *
-                  *  "Programs loaded by the new PROMs pass the following arguments:
+                          *  "Programs loaded by the new PROMs pass the following arguments:
-                  *      a0      argc
+                          *      a0      argc
-                  *      a1      argv
+                          *      a1      argv
-                  *      a2      DEC_PROM_MAGIC
+                          *      a2      DEC_PROM_MAGIC
-                  *      a3      The callback vector defined below"
+                          *      a3      The callback vector defined below"
-                  *
+                          *
-                  *  So we try to emulate a PROM, even though no such thing has been
+                          *  So we try to emulate a PROM, even though no such thing has been
-                  *  loaded.
+                          *  loaded.
-                  */
+                          */
-                 cpu->cd.mips.gpr[MIPS_GPR_A0] = 3;
+                         cpu->cd.mips.gpr[MIPS_GPR_A0] = 3;
-                 cpu->cd.mips.gpr[MIPS_GPR_A1] = DEC_PROM_INITIAL_ARGV;
+                         cpu->cd.mips.gpr[MIPS_GPR_A1] = DEC_PROM_INITIAL_ARGV;
-                 cpu->cd.mips.gpr[MIPS_GPR_A2] = DEC_PROM_MAGIC;
+                         cpu->cd.mips.gpr[MIPS_GPR_A2] = DEC_PROM_MAGIC;
-                 cpu->cd.mips.gpr[MIPS_GPR_A3] = DEC_PROM_CALLBACK_STRUCT;
+                         cpu->cd.mips.gpr[MIPS_GPR_A3] = DEC_PROM_CALLBACK_STRUCT;
-                 store_32bit_word(cpu, INITIAL_STACK_POINTER + 0x10,
+                         store_32bit_word(cpu, INITIAL_STACK_POINTER + 0x10,
-                     BOOTINFO_MAGIC);
+                             BOOTINFO_MAGIC);
-                 store_32bit_word(cpu, INITIAL_STACK_POINTER + 0x14,
+                         store_32bit_word(cpu, INITIAL_STACK_POINTER + 0x14,
-                     BOOTINFO_ADDR);
+                             BOOTINFO_ADDR);
-                 store_32bit_word(cpu, DEC_PROM_INITIAL_ARGV,
+                         store_32bit_word(cpu, DEC_PROM_INITIAL_ARGV,
-                     (DEC_PROM_INITIAL_ARGV + 0x10));
+                             (DEC_PROM_INITIAL_ARGV + 0x10));
-                 store_32bit_word(cpu, DEC_PROM_INITIAL_ARGV+4,
+                         store_32bit_word(cpu, DEC_PROM_INITIAL_ARGV+4,
-                     (DEC_PROM_INITIAL_ARGV + 0x70));
+                             (DEC_PROM_INITIAL_ARGV + 0x70));
-                 store_32bit_word(cpu, DEC_PROM_INITIAL_ARGV+8,
+                         store_32bit_word(cpu, DEC_PROM_INITIAL_ARGV+8,
-                     (DEC_PROM_INITIAL_ARGV + 0xe0));
+                             (DEC_PROM_INITIAL_ARGV + 0xe0));
-                 store_32bit_word(cpu, DEC_PROM_INITIAL_ARGV+12, 0);
+                         store_32bit_word(cpu, DEC_PROM_INITIAL_ARGV+12, 0);
-                 /*
+                         /*
-                  *  NetBSD and Ultrix expect the boot args to be like this:
+                          *  NetBSD and Ultrix expect the boot args to be like this:
-                  *
+                          *
-                  *      "boot" "bootdev" [args?]
+                          *      "boot" "bootdev" [args?]
-                  *
+                          *
-                  *  where bootdev is supposed to be "rz(0,0,0)netbsd" for
+                          *  where bootdev is supposed to be "rz(0,0,0)netbsd" for
-                  *  3100/2100 (although that crashes Ultrix :-/), and
+                          *  3100/2100 (although that crashes Ultrix :-/), and
-                  *  "5/rz0a/netbsd" for all others.  The number '5' is the
+                          *  "5/rz0a/netbsd" for all others.  The number '5' is the
-                  *  slot number of the boot device.
+                          *  slot number of the boot device.
-                  *
+                          *
-                  *  'rz' for disks, 'tz' for tapes.
+                          *  'rz' for disks, 'tz' for tapes.
-                  *
+                          *
-                  *  TODO:  Make this nicer.
+                          *  TODO:  Make this nicer.
-                  */
+                          */
-                 {
+                         {
                          char bootpath[200];
  #if 0
                          if (machine->machine_subtype == MACHINE_DEC_PMAX_3100)
-                                 strcpy(bootpath, "rz(0,0,0)");
+                                 strlcpy(bootpath, "rz(0,0,0)", sizeof(bootpath));
                          else
  #endif
-                                 strcpy(bootpath, "5/rz1/");
+                                 strlcpy(bootpath, "5/rz1/", sizeof(bootpath));
                          if (bootdev_id < 0 || machine->force_netboot) {
                                  /*  tftp boot:  */
-                                 strcpy(bootpath, "5/tftp/");
+                                 strlcpy(bootpath, "5/tftp/", sizeof(bootpath));
                                  bootpath[0] = '0' + boot_net_boardnumber;
                          } else {
                                  /*  disk boot:  */
-Line 1946 
 void machine_setup(struct machine *machi
+Line 2208 
 void machine_setup(struct machine *machi
                          }
                          init_bootpath = bootpath;
-                 }
+                         }
-                 bootarg = malloc(strlen(init_bootpath) +
+                         bootarg = malloc(BOOTARG_BUFLEN);
-                     strlen(machine->boot_kernel_filename) + 1 +
+                         if (bootarg == NULL) {
-                     strlen(machine->boot_string_argument) + 1);
+                                 fprintf(stderr, "out of memory\n");
-                 strcpy(bootarg, init_bootpath);
+                                 exit(1);
-                 strcat(bootarg, machine->boot_kernel_filename);
+                         }
+                         strlcpy(bootarg, init_bootpath, BOOTARG_BUFLEN);
-                 bootstr = "boot";
+                         if (strlcat(bootarg, machine->boot_kernel_filename,
+                             BOOTARG_BUFLEN) > BOOTARG_BUFLEN) {
-                 store_string(cpu, DEC_PROM_INITIAL_ARGV+0x10, bootstr);
+                                 fprintf(stderr, "bootarg truncated?\n");
-                 store_string(cpu, DEC_PROM_INITIAL_ARGV+0x70, bootarg);
+                                 exit(1);
-                 store_string(cpu, DEC_PROM_INITIAL_ARGV+0xe0,
+                         }
-                     machine->boot_string_argument);
-                 /*  Decrease the nr of args, if there are no args :-)  */
-                 if (machine->boot_string_argument == NULL ||
-                     machine->boot_string_argument[0] == '\0')
-                         cpu->cd.mips.gpr[MIPS_GPR_A0] --;
-                 if (machine->boot_string_argument[0] != '\0') {
-                         strcat(bootarg, " ");
-                         strcat(bootarg, machine->boot_string_argument);
-                 }
-                 xx.a.common.next = (char *)&xx.b - (char *)&xx;
-                 xx.a.common.type = BTINFO_MAGIC;
-                 xx.a.magic = BOOTINFO_MAGIC;
-                 xx.b.common.next = (char *)&xx.c - (char *)&xx.b;
-                 xx.b.common.type = BTINFO_BOOTPATH;
-                 strcpy(xx.b.bootpath, bootstr);
-                 xx.c.common.next = 0;
-                 xx.c.common.type = BTINFO_SYMTAB;
-                 xx.c.nsym = 0;
-                 xx.c.ssym = 0;
-                 xx.c.esym = machine->file_loaded_end_addr;
-                 store_buf(cpu, BOOTINFO_ADDR, (char *)&xx, sizeof(xx));
+                         bootstr = "boot";
-                 /*
+                         store_string(cpu, DEC_PROM_INITIAL_ARGV+0x10, bootstr);
-                  *  The system's memmap:  (memmap is a global variable, in
+                         store_string(cpu, DEC_PROM_INITIAL_ARGV+0x70, bootarg);
-                  *  dec_prom.h)
+                         store_string(cpu, DEC_PROM_INITIAL_ARGV+0xe0,
-                  */
+                             machine->boot_string_argument);
-                 store_32bit_word_in_host(cpu,
-                     (unsigned char *)&memmap.pagesize, 4096);
-                 {
-                         unsigned int i;
-                         for (i=0; i<sizeof(memmap.bitmap); i++)
-                                 memmap.bitmap[i] = ((int)i * 4096*8 <
-                                     1048576*machine->physical_ram_in_mb)?
-xff : 0x00;
-                 }
-                 store_buf(cpu, DEC_MEMMAP_ADDR, (char *)&memmap, sizeof(memmap));
-                 /*  Environment variables:  */
-                 addr = DEC_PROM_STRINGS;
-                 if (machine->use_x11 && machine->n_gfx_cards > 0)
-                         /*  (0,3)  Keyboard and Framebuffer  */
-                         add_environment_string(cpu, framebuffer_console_name, &addr);
-                 else
-                         /*  Serial console  */
-                         add_environment_string(cpu, serial_console_name, &addr);
-                 /*
+                         /*  Decrease the nr of args, if there are no args :-)  */
-                  *  The KN5800 (SMP system) uses a CCA (console communications
+                         if (machine->boot_string_argument == NULL ||
-                  *  area):  (See VAX 6000 documentation for details.)
+                             machine->boot_string_argument[0] == '\0')
-                  */
+                                 cpu->cd.mips.gpr[MIPS_GPR_A0] --;
-                 {
-                         char tmps[300];
+                         if (machine->boot_string_argument[0] != '\0') {
-                         sprintf(tmps, "cca=%x",
+                                 strlcat(bootarg, " ", BOOTARG_BUFLEN);
-                             (int)(DEC_DECCCA_BASEADDR + 0xa0000000ULL));
+                                 if (strlcat(bootarg, machine->boot_string_argument,
-                         add_environment_string(cpu, tmps, &addr);
+                                     BOOTARG_BUFLEN) >= BOOTARG_BUFLEN) {
-                 }
+                                         fprintf(stderr, "bootstr truncated?\n");
+                                         exit(1);
+                                 }
+                         }
-                 /*  These are needed for Sprite to boot:  */
+                         xx.a.common.next = (char *)&xx.b - (char *)&xx;
-                 {
+                         xx.a.common.type = BTINFO_MAGIC;
-                         char tmps[300];
+                         xx.a.magic = BOOTINFO_MAGIC;
+                         xx.b.common.next = (char *)&xx.c - (char *)&xx.b;
+                         xx.b.common.type = BTINFO_BOOTPATH;
+                         strlcpy(xx.b.bootpath, bootstr, sizeof(xx.b.bootpath));
+                         xx.c.common.next = 0;
+                         xx.c.common.type = BTINFO_SYMTAB;
+                         xx.c.nsym = 0;
+                         xx.c.ssym = 0;
+                         xx.c.esym = machine->file_loaded_end_addr;
-                         sprintf(tmps, "boot=%s", bootarg);
+                         store_buf(cpu, BOOTINFO_ADDR, (char *)&xx, sizeof(xx));
-                         add_environment_string(cpu, tmps, &addr);
-                         sprintf(tmps, "bitmap=0x%x", (uint32_t)((
+                         /*
-                             DEC_MEMMAP_ADDR + sizeof(memmap.pagesize))
+                          *  The system's memmap:  (memmap is a global variable, in
-                             & 0xffffffffULL));
+                          *  dec_prom.h)
-                         add_environment_string(cpu, tmps, &addr);
+                          */
+                         store_32bit_word_in_host(cpu,
-                         sprintf(tmps, "bitmaplen=0x%x",
+                             (unsigned char *)&memmap.pagesize, 4096);
-                             machine->physical_ram_in_mb * 1048576 / 4096 / 8);
+                         {
-                         add_environment_string(cpu, tmps, &addr);
+                                 unsigned int i;
-                 }
+                                 for (i=0; i<sizeof(memmap.bitmap); i++)
+                                         memmap.bitmap[i] = ((int)i * 4096*8 <
-                 add_environment_string(cpu, "scsiid0=7", &addr);
+                                             1048576*machine->physical_ram_in_mb)?
-                 add_environment_string(cpu, "bootmode=a", &addr);
+xff : 0x00;
-                 add_environment_string(cpu, "testaction=q", &addr);
+                         }
-                 add_environment_string(cpu, "haltaction=h", &addr);
+                         store_buf(cpu, DEC_MEMMAP_ADDR, (char *)&memmap, sizeof(memmap));
-                 add_environment_string(cpu, "more=24", &addr);
+                         /*  Environment variables:  */
-                 /*  Used in at least Ultrix on the 5100:  */
+                         addr = DEC_PROM_STRINGS;
-                 add_environment_string(cpu, "scsiid=7", &addr);
-                 add_environment_string(cpu, "baud0=9600", &addr);
-                 add_environment_string(cpu, "baud1=9600", &addr);
-                 add_environment_string(cpu, "baud2=9600", &addr);
-                 add_environment_string(cpu, "baud3=9600", &addr);
-                 add_environment_string(cpu, "iooption=0x1", &addr);
-                 /*  The end:  */
+                         if (machine->use_x11 && machine->n_gfx_cards > 0)
-                 add_environment_string(cpu, "", &addr);
+                                 /*  (0,3)  Keyboard and Framebuffer  */
+                                 add_environment_string(cpu, framebuffer_console_name, &addr);
+                         else
+                                 /*  Serial console  */
+                                 add_environment_string(cpu, serial_console_name, &addr);
+                         /*
+                          *  The KN5800 (SMP system) uses a CCA (console communications
+                          *  area):  (See VAX 6000 documentation for details.)
+                          */
+                         {
+                                 char tmps[300];
+                                 snprintf(tmps, sizeof(tmps), "cca=%x",
+                                     (int)(DEC_DECCCA_BASEADDR + 0xa0000000ULL));
+                                 add_environment_string(cpu, tmps, &addr);
+                         }
+                         /*  These are needed for Sprite to boot:  */
+                         {
+                                 char tmps[500];
+                                 snprintf(tmps, sizeof(tmps), "boot=%s", bootarg);
+                                 tmps[sizeof(tmps)-1] = '\0';
+                                 add_environment_string(cpu, tmps, &addr);
+                                 snprintf(tmps, sizeof(tmps), "bitmap=0x%x", (uint32_t)((
+                                     DEC_MEMMAP_ADDR + sizeof(memmap.pagesize))
+                                     & 0xffffffffULL));
+                                 tmps[sizeof(tmps)-1] = '\0';
+                                 add_environment_string(cpu, tmps, &addr);
+                                 snprintf(tmps, sizeof(tmps), "bitmaplen=0x%x",
+                                     machine->physical_ram_in_mb * 1048576 / 4096 / 8);
+                                 tmps[sizeof(tmps)-1] = '\0';
+                                 add_environment_string(cpu, tmps, &addr);
+                         }
+                         add_environment_string(cpu, "scsiid0=7", &addr);
+                         add_environment_string(cpu, "bootmode=a", &addr);
+                         add_environment_string(cpu, "testaction=q", &addr);
+                         add_environment_string(cpu, "haltaction=h", &addr);
+                         add_environment_string(cpu, "more=24", &addr);
+                         /*  Used in at least Ultrix on the 5100:  */
+                         add_environment_string(cpu, "scsiid=7", &addr);
+                         add_environment_string(cpu, "baud0=9600", &addr);
+                         add_environment_string(cpu, "baud1=9600", &addr);
+                         add_environment_string(cpu, "baud2=9600", &addr);
+                         add_environment_string(cpu, "baud3=9600", &addr);
+                         add_environment_string(cpu, "iooption=0x1", &addr);
+                         /*  The end:  */
+                         add_environment_string(cpu, "", &addr);
+                 }
                  break;
-Line 2072 
 void machine_setup(struct machine *machi
+Line 2348 
 void machine_setup(struct machine *machi
                   *      4       Tulip 1
                   *      5       16550 UART (serial console)
                   *      6       VIA southbridge PIC
-                  *      7       PCI
+                  *      7       PCI  (Note: Not used. The PCI controller
+                  *              interrupts at ISA interrupt 9.)
                   */
- /*              dev_XXX_init(cpu, mem, 0x10000000, machine->emulated_hz);       */
+                 /*  ISA interrupt controllers:  */
+                 snprintf(tmpstr, sizeof(tmpstr), "8259 irq=24 addr=0x10000020");
+                 machine->isa_pic_data.pic1 = device_add(machine, tmpstr);
+                 snprintf(tmpstr, sizeof(tmpstr), "8259 irq=24 addr=0x100000a0");
+                 machine->isa_pic_data.pic2 = device_add(machine, tmpstr);
+                 machine->md_interrupt = cobalt_interrupt;
                  dev_mc146818_init(machine, mem, 0x10000070, 0, MC146818_PC_CMOS, 4);
-                 machine->main_console_handle = dev_ns16550_init(machine, mem,
+                 machine->main_console_handle = (size_t)
-x1c800000, 5, 1, 1, "serial console");
+                     device_add(machine, "ns16550 irq=5 addr=0x1c800000 name2=tty0 in_use=1");
  #if 0
-                 dev_ns16550_init(machine, mem, 0x1f000010, 0, 1, 1,
+                 device_add(machine, "ns16550 irq=0 addr=0x1f000010 name2=tty1 in_use=0");
-                     "other serial console");
  #endif
                  /*
-Line 2094 
 void machine_setup(struct machine *machi
+Line 2377 
 void machine_setup(struct machine *machi
                   *  pcib0 at pci0 dev 9 function 0, VIA Technologies VT82C586 (Apollo VP) PCI-ISA Bridge, rev 37
                   *  pciide0 at pci0 dev 9 function 1: VIA Technologies VT82C586 (Apollo VP) ATA33 cr
                   *  tlp1 at pci0 dev 12 function 0: DECchip 21143 Ethernet, pass 4.1
+                  *
+                  *  The PCI controller interrupts at ISA interrupt 9.
                   */
-                 pci_data = dev_gt_init(machine, mem, 0x14000000, 2, 6); /*  7 for PCI, not 6?  */
+                 pci_data = dev_gt_init(machine, mem, 0x14000000, 2, 8 + 9, 11);
                  /*  bus_pci_add(machine, pci_data, mem, 0,  7, 0, pci_dec21143_init, pci_dec21143_rr);  */
                  bus_pci_add(machine, pci_data, mem, 0,  8, 0, NULL, NULL);  /*  PCI_VENDOR_SYMBIOS, PCI_PRODUCT_SYMBIOS_860  */
                  bus_pci_add(machine, pci_data, mem, 0,  9, 0, pci_vt82c586_isa_init, pci_vt82c586_isa_rr);
                  bus_pci_add(machine, pci_data, mem, 0,  9, 1, pci_vt82c586_ide_init, pci_vt82c586_ide_rr);
                  /*  bus_pci_add(machine, pci_data, mem, 0, 12, 0, pci_dec21143_init, pci_dec21143_rr);  */
-                 /*
+                 if (machine->prom_emulation) {
-                  *  NetBSD/cobalt expects memsize in a0, but it seems that what
+                         /*
-                  *  it really wants is the end of memory + 0x80000000.
+                          *  NetBSD/cobalt expects memsize in a0, but it seems that what
-                  *
+                          *  it really wants is the end of memory + 0x80000000.
-                  *  The bootstring should be stored starting 512 bytes before end
+                          *
-                  *  of physical ram.
+                          *  The bootstring is stored 512 bytes before the end of
-                  */
+                          *  physical ram.
-                 cpu->cd.mips.gpr[MIPS_GPR_A0] = machine->physical_ram_in_mb * 1048576 + 0x80000000;
+                          */
-                 bootstr = "root=/dev/hda1 ro";
+                         cpu->cd.mips.gpr[MIPS_GPR_A0] =
-                 /*  bootstr = "nfsroot=/usr/cobalt/";  */
+                             machine->physical_ram_in_mb * 1048576 + 0xffffffff80000000ULL;
-                 store_string(cpu, 0xffffffff80000000ULL +
+                         bootstr = "root=/dev/hda1 ro";
-                     machine->physical_ram_in_mb * 1048576 - 512, bootstr);
+                         /*  bootstr = "nfsroot=/usr/cobalt/";  */
+                         /*  TODO: bootarg, and/or automagic boot device detection  */
+                         store_string(cpu, cpu->cd.mips.gpr[MIPS_GPR_A0] - 512, bootstr);
+                 }
                  break;
          case MACHINE_HPCMIPS:
-Line 2150 
 void machine_setup(struct machine *machi
+Line 2438 
 void machine_setup(struct machine *machi
                          hpcmips_fb_bits = 15;
                          hpcmips_fb_encoding = BIFB_D16_0000;
-                         machine->main_console_handle = dev_ns16550_init(
+                         /*  TODO: irq?  */
-                             machine, mem, 0xa008680, 0, 4,
+                         snprintf(tmpstr, sizeof(tmpstr), "ns16550 irq=0 addr=0x0a008680 addr_mult=4 in_use=%i", machine->use_x11? 0 : 1);
-                             machine->use_x11? 0 : 1, "serial console");  /*  TODO: irq?  */
+                         machine->main_console_handle = (size_t)device_add(machine, tmpstr);
                          machine->md_int.vr41xx_data = dev_vr41xx_init(machine, mem, 4131);
                          machine->md_interrupt = vr41xx_interrupt;
-Line 2181 
 void machine_setup(struct machine *machi
+Line 2470 
 void machine_setup(struct machine *machi
                          hpcmips_fb_bits = 16;
                          hpcmips_fb_encoding = BIFB_D16_0000;
-                         machine->main_console_handle = dev_ns16550_init(
+                         /*  TODO: irq?  */
-                             machine, mem, 0xa008680, 0, 4,
+                         snprintf(tmpstr, sizeof(tmpstr), "ns16550 irq=0 addr=0x0a008680 addr_mult=4 in_use=%i", machine->use_x11? 0 : 1);
-                             machine->use_x11? 0 : 1, "serial console");  /*  TODO: irq?  */
+                         machine->main_console_handle = (size_t)device_add(machine, tmpstr);
                          machine->md_int.vr41xx_data = dev_vr41xx_init(machine, mem, 4121);
                          machine->md_interrupt = vr41xx_interrupt;
-Line 2331 
 void machine_setup(struct machine *machi
+Line 2621 
 void machine_setup(struct machine *machi
                              VRIP_INTR_SIU (=9) here?  */
                          {
                                  int x;
-                                 x = dev_ns16550_init(machine, mem, 0x0c000010,
+                                 snprintf(tmpstr, sizeof(tmpstr), "ns16550 irq=%i addr=0x0c000010", 8 + VRIP_INTR_SIU);
-+ VRIP_INTR_SIU, 1, 1, "serial 0");
+                                 x = (size_t)device_add(machine, tmpstr);
                                  if (!machine->use_x11)
                                          machine->main_console_handle = x;
-Line 2355 
 void machine_setup(struct machine *machi
+Line 2645 
 void machine_setup(struct machine *machi
                          break;
                  case MACHINE_HPCMIPS_IBM_WORKPAD_Z50:
                          /*  131 MHz VR4121  */
-                         machine->machine_name = "Agenda VR3";
+                         machine->machine_name = "IBM Workpad Z50";
                          /*  TODO:  */
                          hpcmips_fb_addr = 0xa000000;
                          hpcmips_fb_xsize = 640;
-Line 2390 
 void machine_setup(struct machine *machi
+Line 2680 
 void machine_setup(struct machine *machi
                          machine->main_console_handle =
                              machine->md_int.vr41xx_data->kiu_console_handle;
-                 /*  NetBSD/hpcmips and possibly others expects the following:  */
+                 if (machine->prom_emulation) {
+                         /*  NetBSD/hpcmips and possibly others expects the following:  */
-                 cpu->cd.mips.gpr[MIPS_GPR_A0] = 1;      /*  argc  */
-                 cpu->cd.mips.gpr[MIPS_GPR_A1] = machine->physical_ram_in_mb * 1048576
-                     + 0xffffffff80000000ULL - 512;      /*  argv  */
-                 cpu->cd.mips.gpr[MIPS_GPR_A2] = machine->physical_ram_in_mb * 1048576
-                     + 0xffffffff80000000ULL - 256;      /*  ptr to hpc_bootinfo  */
-                 bootstr = machine->boot_kernel_filename;
-                 store_32bit_word(cpu, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512 + 16);
-                 store_32bit_word(cpu, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512 + 4, 0);
-                 store_string(cpu, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512 + 16, bootstr);
-                 /*  Special case for the Agenda VR3:  */
-                 if (machine->machine_subtype == MACHINE_HPCMIPS_AGENDA_VR3) {
-                         const int tmplen = 1000;
-                         char *tmp = malloc(tmplen);
-                         cpu->cd.mips.gpr[MIPS_GPR_A0] = 2;      /*  argc  */
-                         store_32bit_word(cpu, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512 + 4, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512 + 64);
+                         cpu->cd.mips.gpr[MIPS_GPR_A0] = 1;      /*  argc  */
-                         store_32bit_word(cpu, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512 + 8, 0);
+                         cpu->cd.mips.gpr[MIPS_GPR_A1] = machine->physical_ram_in_mb * 1048576
+                             + 0xffffffff80000000ULL - 512;      /*  argv  */
+                         cpu->cd.mips.gpr[MIPS_GPR_A2] = machine->physical_ram_in_mb * 1048576
+                             + 0xffffffff80000000ULL - 256;      /*  ptr to hpc_bootinfo  */
+                         bootstr = machine->boot_kernel_filename;
+                         store_32bit_word(cpu, 0xffffffff80000000ULL + machine->physical_ram_in_mb * 1048576 - 512,
+xffffffff80000000ULL + machine->physical_ram_in_mb * 1048576 - 512 + 16);
+                         store_32bit_word(cpu, 0xffffffff80000000ULL + machine->physical_ram_in_mb * 1048576 - 512 + 4, 0);
+                         store_string(cpu, 0xffffffff80000000ULL + machine->physical_ram_in_mb * 1048576 - 512 + 16, bootstr);
+                         /*  Special case for the Agenda VR3:  */
+                         if (machine->machine_subtype == MACHINE_HPCMIPS_AGENDA_VR3) {
+                                 const int tmplen = 1000;
+                                 char *tmp = malloc(tmplen);
+                                 cpu->cd.mips.gpr[MIPS_GPR_A0] = 2;      /*  argc  */
+                                 store_32bit_word(cpu, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512 + 4, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512 + 64);
+                                 store_32bit_word(cpu, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512 + 8, 0);
+                                 snprintf(tmp, tmplen, "root=/dev/rom video=vr4181fb:xres:160,yres:240,bpp:4,"
+                                     "gray,hpck:3084,inv ether=0,0x03fe0300,eth0");
+                                 tmp[tmplen-1] = '\0';
-                         snprintf(tmp, tmplen, "root=/dev/rom video=vr4181fb:xres:160,yres:240,bpp:4,"
+                                 if (!machine->use_x11)
-                             "gray,hpck:3084,inv ether=0,0x03fe0300,eth0");
+                                         snprintf(tmp+strlen(tmp), tmplen-strlen(tmp), " console=ttyS0,115200");
-                         tmp[tmplen-1] = '\0';
+                                 tmp[tmplen-1] = '\0';
-                         if (!machine->use_x11)
+                                 if (machine->boot_string_argument[0])
-                                 snprintf(tmp+strlen(tmp), tmplen-strlen(tmp), " console=ttyS0,115200");
+                                         snprintf(tmp+strlen(tmp), tmplen-strlen(tmp), " %s", machine->boot_string_argument);
-                         tmp[tmplen-1] = '\0';
+                                 tmp[tmplen-1] = '\0';
-                         if (machine->boot_string_argument[0])
+                                 store_string(cpu, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512 + 64, tmp);
-                                 snprintf(tmp+strlen(tmp), tmplen-strlen(tmp), " %s", machine->boot_string_argument);
-                         tmp[tmplen-1] = '\0';
-                         store_string(cpu, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512 + 64, tmp);
+                                 bootarg = tmp;
+                         } else if (machine->boot_string_argument[0]) {
+                                 cpu->cd.mips.gpr[MIPS_GPR_A0] ++;       /*  argc  */
-                         bootarg = tmp;
+                                 store_32bit_word(cpu, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512 + 4, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512 + 64);
-                 } else if (machine->boot_string_argument[0]) {
+                                 store_32bit_word(cpu, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512 + 8, 0);
-                         cpu->cd.mips.gpr[MIPS_GPR_A0] ++;       /*  argc  */
-                         store_32bit_word(cpu, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512 + 4, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512 + 64);
+                                 store_string(cpu, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512 + 64,
-                         store_32bit_word(cpu, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512 + 8, 0);
+                                     machine->boot_string_argument);
-                         store_string(cpu, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 512 + 64,
+                                 bootarg = machine->boot_string_argument;
-                             machine->boot_string_argument);
+                         }
-                         bootarg = machine->boot_string_argument;
+                         store_16bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.length, sizeof(hpc_bootinfo));
+                         store_32bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.magic, HPC_BOOTINFO_MAGIC);
+                         store_32bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.fb_addr, 0x80000000 + hpcmips_fb_addr);
+                         store_16bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.fb_line_bytes, hpcmips_fb_xsize_mem * (((hpcmips_fb_bits-1)|7)+1) / 8);
+                         store_16bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.fb_width, hpcmips_fb_xsize);
+                         store_16bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.fb_height, hpcmips_fb_ysize);
+                         store_16bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.fb_type, hpcmips_fb_encoding);
+                         store_16bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.bi_cnuse, BI_CNUSE_BUILTIN);  /*  _BUILTIN or _SERIAL  */
+                         /*  printf("hpc_bootinfo.platid_cpu     = 0x%08x\n", hpc_bootinfo.platid_cpu);
+                             printf("hpc_bootinfo.platid_machine = 0x%08x\n", hpc_bootinfo.platid_machine);  */
+                         store_32bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.timezone, 0);
+                         store_buf(cpu, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 256, (char *)&hpc_bootinfo, sizeof(hpc_bootinfo));
                  }
-                 store_16bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.length, sizeof(hpc_bootinfo));
-                 store_32bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.magic, HPC_BOOTINFO_MAGIC);
-                 store_32bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.fb_addr, 0x80000000 + hpcmips_fb_addr);
-                 store_16bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.fb_line_bytes, hpcmips_fb_xsize_mem * (((hpcmips_fb_bits-1)|7)+1) / 8);
-                 store_16bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.fb_width, hpcmips_fb_xsize);
-                 store_16bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.fb_height, hpcmips_fb_ysize);
-                 store_16bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.fb_type, hpcmips_fb_encoding);
-                 store_16bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.bi_cnuse, BI_CNUSE_BUILTIN);  /*  _BUILTIN or _SERIAL  */
-                 /*  printf("hpc_bootinfo.platid_cpu     = 0x%08x\n", hpc_bootinfo.platid_cpu);
-                     printf("hpc_bootinfo.platid_machine = 0x%08x\n", hpc_bootinfo.platid_machine);  */
-                 store_32bit_word_in_host(cpu, (unsigned char *)&hpc_bootinfo.timezone, 0);
-                 store_buf(cpu, 0x80000000 + machine->physical_ram_in_mb * 1048576 - 256, (char *)&hpc_bootinfo, sizeof(hpc_bootinfo));
                  if (hpcmips_fb_addr != 0) {
                          dev_fb_init(machine, mem, hpcmips_fb_addr, VFB_HPCMIPS,
                              hpcmips_fb_xsize, hpcmips_fb_ysize,
                              hpcmips_fb_xsize_mem, hpcmips_fb_ysize_mem,
-                             hpcmips_fb_bits, "HPCmips", 0);
+                             hpcmips_fb_bits, "HPCmips");
                          /*  NetBSD/hpcmips uses framebuffer at physical
                              address 0x8.......:  */
-Line 2497 
 void machine_setup(struct machine *machi
+Line 2790 
 void machine_setup(struct machine *machi
                  machine->md_interrupt = ps2_interrupt;
-                 add_symbol_name(&machine->symbol_context,
-                     PLAYSTATION2_SIFBIOS, 0x10000, "[SIFBIOS entry]", 0);
-                 store_32bit_word(cpu, PLAYSTATION2_BDA + 0, PLAYSTATION2_SIFBIOS);
-                 store_buf(cpu, PLAYSTATION2_BDA + 4, "PS2b", 4);
                  /*  Set the Harddisk controller present flag, if either
                      disk 0 or 1 is present:  */
                  if (diskimage_exist(machine, 0, DISKIMAGE_IDE) ||
                      diskimage_exist(machine, 1, DISKIMAGE_IDE)) {
-                         store_32bit_word(cpu, 0xa0000000 + machine->physical_ram_in_mb*1048576 - 0x1000 + 0x0, 0x100);
+                         if (machine->prom_emulation)
+                                 store_32bit_word(cpu, 0xa0000000 + machine->physical_ram_in_mb*1048576 - 0x1000 + 0x0, 0x100);
                          dev_ps2_spd_init(machine, mem, 0x14000000);
                  }
-                 store_32bit_word(cpu, 0xa0000000 + machine->physical_ram_in_mb*1048576 - 0x1000 + 0x4, PLAYSTATION2_OPTARGS);
+                 if (machine->prom_emulation) {
-                 {
                          int tmplen = 1000;
                          char *tmp = malloc(tmplen);
+                         time_t timet;
+                         struct tm *tm_ptr;
+                         add_symbol_name(&machine->symbol_context,
+                             PLAYSTATION2_SIFBIOS, 0x10000, "[SIFBIOS entry]", 0, 0);
+                         store_32bit_word(cpu, PLAYSTATION2_BDA + 0, PLAYSTATION2_SIFBIOS);
+                         store_buf(cpu, PLAYSTATION2_BDA + 4, "PS2b", 4);
+                         store_32bit_word(cpu, 0xa0000000 + machine->physical_ram_in_mb*1048576 - 0x1000 + 0x4, PLAYSTATION2_OPTARGS);
                          if (tmp == NULL) {
                                  fprintf(stderr, "out of memory\n");
                                  exit(1);
                          }
-                         strcpy(tmp, "root=/dev/hda1 crtmode=vesa0,60");
+                         strlcpy(tmp, "root=/dev/hda1 crtmode=vesa0,60", tmplen);
                          if (machine->boot_string_argument[0])
                                  snprintf(tmp+strlen(tmp), tmplen-strlen(tmp),
-Line 2528 
 void machine_setup(struct machine *machi
+Line 2825 
 void machine_setup(struct machine *machi
                          bootstr = tmp;
                          store_string(cpu, PLAYSTATION2_OPTARGS, bootstr);
-                 }
-                 /*  TODO:  netbsd's bootinfo.h, for symbolic names  */
+                         /*  TODO:  netbsd's bootinfo.h, for symbolic names  */
-                 {
-                         time_t timet;
-                         struct tm *tmp;
                          /*  RTC data given by the BIOS:  */
                          timet = time(NULL) + 9*3600;    /*  PS2 uses Japanese time  */
-                         tmp = gmtime(&timet);
+                         tm_ptr = gmtime(&timet);
                          /*  TODO:  are these 0- or 1-based?  */
-                         store_byte(cpu, 0xa0000000 + machine->physical_ram_in_mb*1048576 - 0x1000 + 0x10 + 1, int_to_bcd(tmp->tm_sec));
+                         store_byte(cpu, 0xa0000000 + machine->physical_ram_in_mb*1048576 - 0x1000 + 0x10 + 1, int_to_bcd(tm_ptr->tm_sec));
-                         store_byte(cpu, 0xa0000000 + machine->physical_ram_in_mb*1048576 - 0x1000 + 0x10 + 2, int_to_bcd(tmp->tm_min));
+                         store_byte(cpu, 0xa0000000 + machine->physical_ram_in_mb*1048576 - 0x1000 + 0x10 + 2, int_to_bcd(tm_ptr->tm_min));
-                         store_byte(cpu, 0xa0000000 + machine->physical_ram_in_mb*1048576 - 0x1000 + 0x10 + 3, int_to_bcd(tmp->tm_hour));
+                         store_byte(cpu, 0xa0000000 + machine->physical_ram_in_mb*1048576 - 0x1000 + 0x10 + 3, int_to_bcd(tm_ptr->tm_hour));
-                         store_byte(cpu, 0xa0000000 + machine->physical_ram_in_mb*1048576 - 0x1000 + 0x10 + 5, int_to_bcd(tmp->tm_mday));
+                         store_byte(cpu, 0xa0000000 + machine->physical_ram_in_mb*1048576 - 0x1000 + 0x10 + 5, int_to_bcd(tm_ptr->tm_mday));
-                         store_byte(cpu, 0xa0000000 + machine->physical_ram_in_mb*1048576 - 0x1000 + 0x10 + 6, int_to_bcd(tmp->tm_mon + 1));
+                         store_byte(cpu, 0xa0000000 + machine->physical_ram_in_mb*1048576 - 0x1000 + 0x10 + 6, int_to_bcd(tm_ptr->tm_mon + 1));
-                         store_byte(cpu, 0xa0000000 + machine->physical_ram_in_mb*1048576 - 0x1000 + 0x10 + 7, int_to_bcd(tmp->tm_year - 100));
+                         store_byte(cpu, 0xa0000000 + machine->physical_ram_in_mb*1048576 - 0x1000 + 0x10 + 7, int_to_bcd(tm_ptr->tm_year - 100));
-                 }
-                 /*  "BOOTINFO_PCMCIA_TYPE" in NetBSD's bootinfo.h. This contains the sbus controller type.  */
+                         /*  "BOOTINFO_PCMCIA_TYPE" in NetBSD's bootinfo.h. This contains the sbus controller type.  */
-                 store_32bit_word(cpu, 0xa0000000 + machine->physical_ram_in_mb*1048576 - 0x1000 + 0x1c, 2);
+                         store_32bit_word(cpu, 0xa0000000 + machine->physical_ram_in_mb*1048576 - 0x1000 + 0x1c, 2);
+                 }
                  break;
-Line 2562 
 void machine_setup(struct machine *machi
+Line 2855 
 void machine_setup(struct machine *machi
                   *  detailed list of IP ("Inhouse Processor") model numbers.
                   *  (Or http://hardware.majix.org/computers/sgi/iptable.shtml)
                   */
-                 machine->machine_name = malloc(500);
+                 machine->machine_name = malloc(MACHINE_NAME_MAXBUF);
                  if (machine->machine_name == NULL) {
                          fprintf(stderr, "out of memory\n");
                          exit(1);
-Line 2570 
 void machine_setup(struct machine *machi
+Line 2863 
 void machine_setup(struct machine *machi
                  if (machine->machine_type == MACHINE_SGI) {
                          cpu->byte_order = EMUL_BIG_ENDIAN;
-                         sprintf(machine->machine_name, "SGI-IP%i", machine->machine_subtype);
+                         snprintf(machine->machine_name, MACHINE_NAME_MAXBUF,
+                             "SGI-IP%i", machine->machine_subtype);
                          sgi_ram_offset = 1048576 * machine->memory_offset_in_mb;
-Line 2588 
 void machine_setup(struct machine *machi
+Line 2882 
 void machine_setup(struct machine *machi
                          }
                  } else {
                          cpu->byte_order = EMUL_LITTLE_ENDIAN;
-                         sprintf(machine->machine_name, "ARC");
+                         snprintf(machine->machine_name,
+                             MACHINE_NAME_MAXBUF, "ARC");
                  }
                  if (machine->machine_type == MACHINE_SGI) {
                          /*  TODO:  Other SGI machine types?  */
                          switch (machine->machine_subtype) {
                          case 12:
-                                 strcat(machine->machine_name, " (Iris Indigo IP12)");
+                                 strlcat(machine->machine_name,
+                                     " (Iris Indigo IP12)", MACHINE_NAME_MAXBUF);
                                  /*  TODO  */
                                  /*  33 MHz R3000, according to http://www.irisindigo.com/  */
-Line 2603 
 void machine_setup(struct machine *machi
+Line 2899 
 void machine_setup(struct machine *machi
                                  break;
                          case 19:
-                                 strcat(machine->machine_name, " (Everest IP19)");
+                                 strlcat(machine->machine_name,
+                                     " (Everest IP19)", MACHINE_NAME_MAXBUF);
                                  machine->main_console_handle =
                                      dev_zs_init(machine, mem, 0x1fbd9830, 0, 1, "serial zs");   /*  serial? netbsd?  */
                                  dev_scc_init(machine, mem, 0x10086000, 0, machine->use_x11, 0, 8);      /*  serial? irix?  */
-Line 2623 
 void machine_setup(struct machine *machi
+Line 2920 
 void machine_setup(struct machine *machi
                                  break;
                          case 20:
-                                 strcat(machine->machine_name, " (Indigo)");
+                                 strlcat(machine->machine_name,
+                                     " (Indigo)", MACHINE_NAME_MAXBUF);
                                  /*
                                   *  Guesses based on NetBSD 2.0 beta, 20040606.
-Line 2668 
 void machine_setup(struct machine *machi
+Line 2966 
 void machine_setup(struct machine *machi
                                  break;
                          case 21:
-                                 strcat(machine->machine_name, " (uknown SGI-IP21 ?)");  /*  TODO  */
+                                 strlcat(machine->machine_name,  /*  TODO  */
+                                     " (uknown SGI-IP21 ?)", MACHINE_NAME_MAXBUF);
                                  /*  NOTE:  Special case for arc_wordlen:  */
                                  arc_wordlen = sizeof(uint64_t);
-Line 2678 
 void machine_setup(struct machine *machi
+Line 2977 
 void machine_setup(struct machine *machi
                          case 22:
                          case 24:
                                  if (machine->machine_subtype == 22) {
-                                         strcat(machine->machine_name, " (Indy, Indigo2, Challenge S; Full-house)");
+                                         strlcat(machine->machine_name,
+                                             " (Indy, Indigo2, Challenge S; Full-house)",
+                                             MACHINE_NAME_MAXBUF);
                                          machine->md_int.sgi_ip22_data = dev_sgi_ip22_init(machine, mem, 0x1fbd9000, 0);
                                  } else {
-                                         strcat(machine->machine_name, " (Indy, Indigo2, Challenge S; Guiness)");
+                                         strlcat(machine->machine_name,
+                                             " (Indy, Indigo2, Challenge S; Guiness)",
+                                             MACHINE_NAME_MAXBUF);
                                          machine->md_int.sgi_ip22_data = dev_sgi_ip22_init(machine, mem, 0x1fbd9880, 1);
                                  }
-Line 2754 
 Why is this here? TODO
+Line 3057 
 Why is this here? TODO
                          case 25:
                                  /*  NOTE:  Special case for arc_wordlen:  */
                                  arc_wordlen = sizeof(uint64_t);
-                                 strcat(machine->machine_name, " (Everest IP25)");
+                                 strlcat(machine->machine_name,
+                                     " (Everest IP25)", MACHINE_NAME_MAXBUF);
                                   /*  serial? irix?  */
                                  dev_scc_init(machine, mem,
-Line 2775 
 Why is this here? TODO
+Line 3079 
 Why is this here? TODO
                          case 26:
                                  /*  NOTE:  Special case for arc_wordlen:  */
                                  arc_wordlen = sizeof(uint64_t);
-                                 strcat(machine->machine_name,
+                                 strlcat(machine->machine_name,
-                                     " (uknown SGI-IP26 ?)");    /*  TODO  */
+                                     " (uknown SGI-IP26 ?)",
+                                     MACHINE_NAME_MAXBUF);       /*  TODO  */
                                  machine->main_console_handle =
                                      dev_zs_init(machine, mem, 0x1fbd9830,
 , 1, "zs console");
                                  break;
                          case 27:
-                                 strcat(machine->machine_name,
+                                 strlcat(machine->machine_name,
-                                     " (Origin 200/2000, Onyx2)");
+                                     " (Origin 200/2000, Onyx2)",
+                                     MACHINE_NAME_MAXBUF);
                                  arc_wordlen = sizeof(uint64_t);
                                  /*  2 cpus per node  */
-Line 2794 
 Why is this here? TODO
+Line 3100 
 Why is this here? TODO
                          case 28:
                                  /*  NOTE:  Special case for arc_wordlen:  */
                                  arc_wordlen = sizeof(uint64_t);
-                                 strcat(machine->machine_name, " (Impact Indigo2 ?)");
+                                 strlcat(machine->machine_name,
+                                     " (Impact Indigo2 ?)", MACHINE_NAME_MAXBUF);
                                  device_add(machine, "random addr=0x1fbe0000, len=1");
-Line 2804 
 Why is this here? TODO
+Line 3111 
 Why is this here? TODO
                          case 30:
                                  /*  NOTE:  Special case for arc_wordlen:  */
                                  arc_wordlen = sizeof(uint64_t);
-                                 strcat(machine->machine_name, " (Octane)");
+                                 strlcat(machine->machine_name,
+                                     " (Octane)", MACHINE_NAME_MAXBUF);
                                  machine->md_int.sgi_ip30_data = dev_sgi_ip30_init(machine, mem, 0x0ff00000);
                                  machine->md_interrupt = sgi_ip30_interrupt;
-Line 2828 
 Why is this here? TODO
+Line 3136 
 Why is this here? TODO
                                   *  program dumps something there, but it doesn't look like
                                   *  readable text.  (TODO)
                                   */
-                                 machine->main_console_handle = dev_ns16550_init(machine, mem, 0x1f620170, 0, 1,
-                                     machine->use_x11? 0 : 1, "serial 0");  /*  TODO: irq?  */
+                                 /*  TODO: irq!  */
-                                 dev_ns16550_init(machine, mem, 0x1f620178, 0, 1,
+                                 snprintf(tmpstr, sizeof(tmpstr), "ns16550 irq=0 addr=0x1f620170 name2=tty0 in_use=%i", machine->use_x11? 0 : 1);
-, "serial 1");  /*  TODO: irq?  */
+                                 machine->main_console_handle = (size_t)device_add(machine, tmpstr);
+                                 snprintf(tmpstr, sizeof(tmpstr), "ns16550 irq=0 addr=0x1f620178 name2=tty1 in_use=0");
+                                 device_add(machine, tmpstr);
                                  /*  MardiGras graphics:  */
                                  device_add(machine, "sgi_mardigras addr=0x1c000000");
                                  break;
                          case 32:
-                                 strcat(machine->machine_name, " (O2)");
+                                 strlcat(machine->machine_name,
+                                     " (O2)", MACHINE_NAME_MAXBUF);
                                  /*  TODO:  Find out where the physical ram is actually located.  */
                                  dev_ram_init(mem, 0x07ffff00ULL,           256, DEV_RAM_MIRROR, 0x03ffff00);
-Line 2893 
 Why is this here? TODO
+Line 3204 
 Why is this here? TODO
                                   *  intr 7 = MACE_PCI_BRIDGE
                                   */
-                                 i = dev_pckbc_init(machine, mem, 0x1f320000,
-                                     PCKBC_8242, 0x200 + MACE_PERIPH_MISC,
-x800 + MACE_PERIPH_MISC, machine->use_x11, 0);
-                                                         /*  keyb+mouse (mace irq numbers)  */
                                  net_generate_unique_mac(machine, macaddr);
-                                 eaddr_string = malloc(30);
+                                 eaddr_string = malloc(ETHERNET_STRING_MAXLEN);
                                  if (eaddr_string == NULL) {
                                          fprintf(stderr, "out of memory\n");
                                          exit(1);
                                  }
-                                 sprintf(eaddr_string, "eaddr=%02x:%02x:"
+                                 snprintf(eaddr_string, ETHERNET_STRING_MAXLEN,
-                                     "%02x:%02x:%02x:%02x",
+                                     "eaddr=%02x:%02x:%02x:%02x:%02x:%02x",
                                      macaddr[0], macaddr[1], macaddr[2],
                                      macaddr[3], macaddr[4], macaddr[5]);
-                                 dev_sgi_mec_init(machine, mem, 0x1f280000, MACE_ETHERNET, macaddr);
+                                 dev_sgi_mec_init(machine, mem, 0x1f280000,
+                                     MACE_ETHERNET, macaddr);
                                  dev_sgi_ust_init(mem, 0x1f340000);  /*  ust?  */
-                                 j = dev_ns16550_init(machine, mem, 0x1f390000,
+                                 snprintf(tmpstr, sizeof(tmpstr), "ns16550 irq=%i addr=0x1f390000 addr_mult=0x100 in_use=%i name2=tty0",
-                                     (1<<20) + MACE_PERIPH_SERIAL, 0x100,
+                                     (1<<20) + MACE_PERIPH_SERIAL, machine->use_x11? 0 : 1);
-                                     machine->use_x11? 0 : 1, "serial 0");       /*  com0  */
+                                 j = (size_t)device_add(machine, tmpstr);
-                                 dev_ns16550_init(machine, mem, 0x1f398000,
+                                 snprintf(tmpstr, sizeof(tmpstr), "ns16550 irq=%i addr=0x1f398000 addr_mult=0x100 in_use=%i name2=tty1",
-                                     (1<<26) + MACE_PERIPH_SERIAL, 0x100,
+                                     (1<<26) + MACE_PERIPH_SERIAL, 0);
-, "serial 1");                             /*  com1  */
+                                 device_add(machine, tmpstr);
-                                 if (machine->use_x11)
+                                 machine->main_console_handle = j;
+                                 /*  TODO: Once this works, it should be enabled
+                                     always, not just when using X!  */
+                                 if (machine->use_x11) {
+                                         i = dev_pckbc_init(machine, mem, 0x1f320000,
+                                             PCKBC_8242, 0x200 + MACE_PERIPH_MISC,
+x800 + MACE_PERIPH_MISC, machine->use_x11, 0);
+                                                 /*  keyb+mouse (mace irq numbers)  */
                                          machine->main_console_handle = i;
-                                 else
+                                 }
-                                         machine->main_console_handle = j;
                                  dev_mc146818_init(machine, mem, 0x1f3a0000, (1<<8) + MACE_PERIPH_MISC, MC146818_SGI, 0x40);  /*  mcclock0  */
                                  dev_zs_init(machine, mem, 0x1fbd9830, 0, 1, "zs console");
-Line 2954 
 Why is this here? TODO
+Line 3268 
 Why is this here? TODO
                                  break;
                          case 35:
-                                 strcat(machine->machine_name, " (Origin 3000)");
+                                 strlcat(machine->machine_name,
+                                     " (Origin 3000)", MACHINE_NAME_MAXBUF);
                                  /*  4 cpus per node  */
                                  machine->main_console_handle =
-Line 2962 
 Why is this here? TODO
+Line 3277 
 Why is this here? TODO
 , 1, "zs console");
                                  break;
                          case 53:
-                                 strcat(machine->machine_name, " (Origin 350)");
+                                 strlcat(machine->machine_name,
+                                     " (Origin 350)", MACHINE_NAME_MAXBUF);
                                  /*
                                   *  According to http://kumba.drachentekh.net/xml/myguide.html
                                   *  Origin 350, Tezro IP53 R16000
-Line 2989 
 Why is this here? TODO
+Line 3305 
 Why is this here? TODO
                                  switch (machine->machine_subtype) {
                                  case MACHINE_ARC_NEC_RD94:
-                                         strcat(machine->machine_name, " (NEC-RD94, NEC RISCstation 2250)");
+                                         strlcat(machine->machine_name,
+                                             " (NEC-RD94, NEC RISCstation 2250)",
+                                             MACHINE_NAME_MAXBUF);
                                          break;
                                  case MACHINE_ARC_NEC_R94:
-                                         strcat(machine->machine_name, " (NEC-R94; NEC RISCstation 2200)");
+                                         strlcat(machine->machine_name, " (NEC-R94; NEC RISCstation 2200)",
+                                             MACHINE_NAME_MAXBUF);
                                          break;
                                  case MACHINE_ARC_NEC_R96:
-                                         strcat(machine->machine_name, " (NEC-R96; NEC Express RISCserver)");
+                                         strlcat(machine->machine_name, " (NEC-R96; NEC Express RISCserver)",
+                                             MACHINE_NAME_MAXBUF);
                                          break;
                                  }
-Line 3007 
 Why is this here? TODO
+Line 3327 
 Why is this here? TODO
                                  device_add(machine, "sn addr=0x80001000 irq=0");
                                  dev_mc146818_init(machine, mem, 0x80004000ULL, 0, MC146818_ARC_NEC, 1);
                                  i = dev_pckbc_init(machine, mem, 0x80005000ULL, PCKBC_8042, 0, 0, machine->use_x11, 0);
-                                 j = dev_ns16550_init(machine, mem, 0x80006000ULL,
-, 1, machine->use_x11? 0 : 1, "serial 0");  /*  com0  */
+                                 snprintf(tmpstr, sizeof(tmpstr), "ns16550 irq=3 addr=0x80006000 in_use=%i name2=tty0", machine->use_x11? 0 : 1);
-                                 dev_ns16550_init(machine, mem, 0x80007000ULL,
+                                 j = (size_t)device_add(machine, tmpstr);
-, 1, 0, "serial 1"); /*  com1  */
+                                 snprintf(tmpstr, sizeof(tmpstr), "ns16550 irq=0 addr=0x80007000 in_use=%i name2=tty1", 0);
+                                 device_add(machine, tmpstr);
                                  if (machine->use_x11)
                                          machine->main_console_handle = i;
-Line 3030 
 Why is this here? TODO
+Line 3351 
 Why is this here? TODO
                                  case MACHINE_ARC_NEC_R96:
                                          dev_fb_init(machine, mem, 0x100e00000ULL,
                                              VFB_GENERIC, 640,480, 1024,480,
-, "necvdfrb", 1);
+, "necvdfrb");
                                          break;
                                  }
                                  break;
-Line 3049 
 Why is this here? TODO
+Line 3370 
 Why is this here? TODO
                                   *  Parallel at "start: 0x 0 18c10278, length: 0x1000, level: 5, vector: 5"
                                   */
-                                 strcat(machine->machine_name, " (NEC-R98; NEC RISCserver 4200)");
+                                 strlcat(machine->machine_name,
+                                     " (NEC-R98; NEC RISCserver 4200)",
+                                     MACHINE_NAME_MAXBUF);
                                  /*
                                   *  Windows NT access stuff at these addresses:
-Line 3105 
 Why is this here? TODO
+Line 3428 
 Why is this here? TODO
                                  switch (machine->machine_subtype) {
                                  case MACHINE_ARC_JAZZ_PICA:
-                                         strcat(machine->machine_name, " (Microsoft Jazz, Acer PICA-61)");
+                                         strlcat(machine->machine_name, " (Microsoft Jazz, Acer PICA-61)",
+                                             MACHINE_NAME_MAXBUF);
                                          break;
                                  case MACHINE_ARC_JAZZ_MAGNUM:
-                                         strcat(machine->machine_name, " (Microsoft Jazz, MIPS Magnum)");
+                                         strlcat(machine->machine_name, " (Microsoft Jazz, MIPS Magnum)",
+                                             MACHINE_NAME_MAXBUF);
                                          break;
                                  default:
                                          fatal("error in machine.c. jazz\n");
-Line 3122 
 Why is this here? TODO
+Line 3447 
 Why is this here? TODO
                                  i = dev_pckbc_init(machine, mem, 0x80005000ULL,
                                      PCKBC_JAZZ, 8 + 6, 8 + 7, machine->use_x11, 0);
-                                 j = dev_ns16550_init(machine, mem,
+                                 snprintf(tmpstr, sizeof(tmpstr), "ns16550 irq=16 addr=0x80006000 in_use=%i name2=tty0", machine->use_x11? 0 : 1);
-x80006000ULL, 8 + 8, 1,
+                                 j = (size_t)device_add(machine, tmpstr);
-                                     machine->use_x11? 0 : 1, "serial 0");
+                                 snprintf(tmpstr, sizeof(tmpstr), "ns16550 irq=17 addr=0x80007000 in_use=%i name2=tty1", 0);
-                                 dev_ns16550_init(machine, mem,
+                                 device_add(machine, tmpstr);
-x80007000ULL, 8 + 9, 1, 0, "serial 1");
                                  if (machine->use_x11)
                                          machine->main_console_handle = i;
-Line 3152 
 Why is this here? TODO
+Line 3476 
 Why is this here? TODO
                                          /*  control at 0x60100000?  */
                                          dev_fb_init(machine, mem, 0x60200000ULL,
                                              VFB_GENERIC, 1024,768, 1024,768,
-, "VXL", 1);
+, "VXL");
                                          break;
                                  }
-Line 3171 
 Why is this here? TODO
+Line 3495 
 Why is this here? TODO
  #if 0
  Not yet.
-                                 dev_wdc_init(machine, mem, 0x900001f0ULL, 8+16 + 14, 0);
+                                 /*  irq = 8+16 + 14  */
+                                 device_add(machine, "wdc addr=0x900001f0, irq=38");
  #endif
                                  break;
-Line 3186 
 Not yet.
+Line 3511 
 Not yet.
                                   *  See http://mail-index.netbsd.org/port-arc/2000/10/18/0001.html.
                                   */
-                                 strcat(machine->machine_name, " (Microsoft Jazz, Olivetti M700)");
+                                 strlcat(machine->machine_name, " (Microsoft Jazz, Olivetti M700)",
+                                     MACHINE_NAME_MAXBUF);
                                  machine->md_int.jazz_data = device_add(machine,
                                      "jazz addr=0x80000000");
-Line 3200 
 Not yet.
+Line 3526 
 Not yet.
                                  i = dev_pckbc_init(machine, mem, 0x80005000ULL,
                                      PCKBC_JAZZ, 8 + 6, 8 + 7, machine->use_x11, 0);
  #endif
-                                 j = dev_ns16550_init(machine, mem,
-x80006000ULL, 8 + 8, 1,
+                                 snprintf(tmpstr, sizeof(tmpstr), "ns16550 irq=16 addr=0x80006000 in_use=%i name2=tty0", machine->use_x11? 0 : 1);
-                                     machine->use_x11? 0 : 1, "serial 0");
+                                 j = (size_t)device_add(machine, tmpstr);
-                                 dev_ns16550_init(machine, mem,
+                                 snprintf(tmpstr, sizeof(tmpstr), "ns16550 irq=17 addr=0x80007000 in_use=%i name2=tty1", 0);
-x80007000ULL, 8 + 9, 1, 0, "serial 1");
+                                 device_add(machine, tmpstr);
                                  if (machine->use_x11)
                                          machine->main_console_handle = i;
-Line 3224 
 Not yet.
+Line 3550 
 Not yet.
                                   *  http://mail-index.netbsd.org/port-arc/2000/10/14/0000.html
                                   */
-                                 strcat(machine->machine_name, " (Deskstation Tyne)");
+                                 strlcat(machine->machine_name, " (Deskstation Tyne)",
+                                     MACHINE_NAME_MAXBUF);
-                                 i = dev_ns16550_init(machine, mem, 0x9000003f8ULL, 0, 1, machine->use_x11? 0 : 1, "serial 0");
+                                 snprintf(tmpstr, sizeof(tmpstr), "ns16550 irq=0 addr=0x9000003f8 in_use=%i name2=tty0", machine->use_x11? 0 : 1);
-                                 dev_ns16550_init(machine, mem, 0x9000002f8ULL, 0, 1, 0, "serial 1");
+                                 i = (size_t)device_add(machine, tmpstr);
-                                 dev_ns16550_init(machine, mem, 0x9000003e8ULL, 0, 1, 0, "serial 2");
+                                 device_add(machine, "ns16550 irq=0 addr=0x9000002f8 in_use=0 name2=tty1");
-                                 dev_ns16550_init(machine, mem, 0x9000002e8ULL, 0, 1, 0, "serial 3");
+                                 device_add(machine, "ns16550 irq=0 addr=0x9000003e8 in_use=0 name2=tty2");
+                                 device_add(machine, "ns16550 irq=0 addr=0x9000002e8 in_use=0 name2=tty3");
                                  dev_mc146818_init(machine, mem,
 x900000070ULL, 2, MC146818_PC_CMOS, 1);
  #if 0
-                                 dev_wdc_init(machine, mem, 0x9000001f0ULL, 0, 0);
+                                 /*  TODO: irq, etc  */
-                                 dev_wdc_init(machine, mem, 0x900000170ULL, 0, 2);
+                                 device_add(machine, "wdc addr=0x9000001f0, irq=0");
+                                 device_add(machine, "wdc addr=0x900000170, irq=0");
  #endif
                                  /*  PC kbd  */
                                  j = dev_pckbc_init(machine, mem, 0x900000060ULL,
-Line 3270 
 Not yet.
+Line 3599 
 Not yet.
                   *  point.
                   */
-                 if (machine->prom_emulation)
+                 if (machine->prom_emulation) {
                          arcbios_init(machine, arc_wordlen == sizeof(uint64_t),
                              sgi_ram_offset);
-                 else
-                         goto no_arc_prom_emulation;     /*  TODO: ugly  */
-                 /*
-                  *  TODO: How to build the component tree intermixed with
-                  *  the rest of device initialization?
-                  */
-                 /*
+                         /*
-                  *  Boot string in ARC format:
+                          *  TODO: How to build the component tree intermixed with
-                  *
+                          *  the rest of device initialization?
-                  *  TODO: How about floppies? multi()disk()fdisk()
+                          */
-                  *        Is tftp() good for netbooting?
-                  */
-                 init_bootpath = malloc(500);
-                 if (init_bootpath == NULL) {
-                         fprintf(stderr, "out of mem, bootpath\n");
-                         exit(1);
-                 }
-                 init_bootpath[0] = '\0';
-                 if (bootdev_id < 0 || machine->force_netboot) {
+                         /*
-                         snprintf(init_bootpath, 400, "tftp()");
+                          *  Boot string in ARC format:
-                 } else {
+                          *
-                         /*  TODO: Make this nicer.  */
+                          *  TODO: How about floppies? multi()disk()fdisk()
-                         if (machine->machine_type == MACHINE_SGI) {
+                          *        Is tftp() good for netbooting?
-                                 if (machine->machine_subtype == 30)
+                          */
-                                         strcat(init_bootpath, "xio(0)pci(15)");
+                         init_bootpath = malloc(500);
-                                 if (machine->machine_subtype == 32)
+                         if (init_bootpath == NULL) {
-                                         strcat(init_bootpath, "pci(0)");
+                                 fprintf(stderr, "out of mem, bootpath\n");
+                                 exit(1);
                          }
+                         init_bootpath[0] = '\0';
-                         if (diskimage_is_a_cdrom(machine, bootdev_id,
+                         if (bootdev_id < 0 || machine->force_netboot) {
-                             bootdev_type))
+                                 snprintf(init_bootpath, 400, "tftp()");
-                                 snprintf(init_bootpath + strlen(init_bootpath),
+                         } else {
-,"scsi(0)cdrom(%i)fdisk(0)", bootdev_id);
+                                 /*  TODO: Make this nicer.  */
-                         else
+                                 if (machine->machine_type == MACHINE_SGI) {
-                                 snprintf(init_bootpath + strlen(init_bootpath),
+                                         if (machine->machine_subtype == 30)
-,"scsi(0)disk(%i)rdisk(0)partition(1)",
+                                                 strlcat(init_bootpath, "xio(0)pci(15)",
-                                     bootdev_id);
+                                                     MACHINE_NAME_MAXBUF);
-                 }
+                                         if (machine->machine_subtype == 32)
+                                                 strlcat(init_bootpath, "pci(0)",
-                 if (machine->machine_type == MACHINE_ARC)
+                                                     MACHINE_NAME_MAXBUF);
-                         strcat(init_bootpath, "\\");
+                                 }
-                 bootstr = malloc(strlen(init_bootpath) +
+                                 if (diskimage_is_a_cdrom(machine, bootdev_id,
-                     strlen(machine->boot_kernel_filename) + 1);
+                                     bootdev_type))
-                 strcpy(bootstr, init_bootpath);
+                                         snprintf(init_bootpath + strlen(init_bootpath),
-                 strcat(bootstr, machine->boot_kernel_filename);
+,"scsi(0)cdrom(%i)fdisk(0)", bootdev_id);
+                                 else
+                                         snprintf(init_bootpath + strlen(init_bootpath),
+,"scsi(0)disk(%i)rdisk(0)partition(1)",
+                                             bootdev_id);
+                         }
-                 /*  Boot args., eg "-a"  */
+                         if (machine->machine_type == MACHINE_ARC)
-                 bootarg = machine->boot_string_argument;
+                                 strlcat(init_bootpath, "\\", MACHINE_NAME_MAXBUF);
-                 /*  argc, argv, envp in a0, a1, a2:  */
+                         bootstr = malloc(BOOTSTR_BUFLEN);
-                 cpu->cd.mips.gpr[MIPS_GPR_A0] = 0;      /*  note: argc is increased later  */
+                         if (bootstr == NULL) {
+                                 fprintf(stderr, "out of memory\n");
+                                 exit(1);
+                         }
+                         strlcpy(bootstr, init_bootpath, BOOTSTR_BUFLEN);
+                         if (strlcat(bootstr, machine->boot_kernel_filename,
+                             BOOTSTR_BUFLEN) >= BOOTSTR_BUFLEN) {
+                                 fprintf(stderr, "boot string too long?\n");
+                                 exit(1);
+                         }
-                 /*  TODO:  not needed?  */
+                         /*  Boot args., eg "-a"  */
-                 cpu->cd.mips.gpr[MIPS_GPR_SP] = (int64_t)(int32_t)
+                         bootarg = machine->boot_string_argument;
-                     (machine->physical_ram_in_mb * 1048576 + 0x80000000 - 0x2080);
-                 /*  Set up argc/argv:  */
+                         /*  argc, argv, envp in a0, a1, a2:  */
-                 addr = ARC_ENV_STRINGS;
+                         cpu->cd.mips.gpr[MIPS_GPR_A0] = 0;      /*  note: argc is increased later  */
-                 addr2 = ARC_ARGV_START;
-                 cpu->cd.mips.gpr[MIPS_GPR_A1] = addr2;
-                 /*  bootstr:  */
+                         /*  TODO:  not needed?  */
-                 store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
+                         cpu->cd.mips.gpr[MIPS_GPR_SP] = (int64_t)(int32_t)
-                 add_environment_string(cpu, bootstr, &addr);
+                             (machine->physical_ram_in_mb * 1048576 + 0x80000000 - 0x2080);
-                 cpu->cd.mips.gpr[MIPS_GPR_A0] ++;
+                         /*  Set up argc/argv:  */
+                         addr = ARC_ENV_STRINGS;
+                         addr2 = ARC_ARGV_START;
+                         cpu->cd.mips.gpr[MIPS_GPR_A1] = addr2;
-                 /*  bootarg:  */
+                         /*  bootstr:  */
-                 if (bootarg[0] != '\0') {
                          store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                         add_environment_string(cpu, bootarg, &addr);
+                         add_environment_string(cpu, bootstr, &addr);
                          cpu->cd.mips.gpr[MIPS_GPR_A0] ++;
-                 }
-                 cpu->cd.mips.gpr[MIPS_GPR_A2] = addr2;
+                         /*  bootarg:  */
+                         if (bootarg[0] != '\0') {
+                                 store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
+                                 add_environment_string(cpu, bootarg, &addr);
+                                 cpu->cd.mips.gpr[MIPS_GPR_A0] ++;
+                         }
-                 /*
+                         cpu->cd.mips.gpr[MIPS_GPR_A2] = addr2;
-                  *  Add environment variables.  For each variable, add it
-                  *  as a string using add_environment_string(), and add a
+                         /*
-                  *  pointer to it to the ARC_ENV_POINTERS array.
+                          *  Add environment variables.  For each variable, add it
-                  */
+                          *  as a string using add_environment_string(), and add a
-                 if (machine->use_x11) {
+                          *  pointer to it to the ARC_ENV_POINTERS array.
-                         if (machine->machine_type == MACHINE_ARC) {
+                          */
+                         if (machine->use_x11) {
+                                 if (machine->machine_type == MACHINE_ARC) {
+                                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
+                                         add_environment_string(cpu, "CONSOLEIN=multi()key()keyboard()console()", &addr);
+                                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
+                                         add_environment_string(cpu, "CONSOLEOUT=multi()video()monitor()console()", &addr);
+                                 } else {
+                                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
+                                         add_environment_string(cpu, "ConsoleIn=keyboard()", &addr);
+                                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
+                                         add_environment_string(cpu, "ConsoleOut=video()", &addr);
+                                         /*  g for graphical mode. G for graphical mode
+                                             with SGI logo visible on Irix?  */
+                                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
+                                         add_environment_string(cpu, "console=g", &addr);
+                                 }
+                         } else {
+                                 if (machine->machine_type == MACHINE_ARC) {
+                                         /*  TODO: serial console for ARC?  */
+                                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
+                                         add_environment_string(cpu, "CONSOLEIN=multi()serial(0)", &addr);
+                                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
+                                         add_environment_string(cpu, "CONSOLEOUT=multi()serial(0)", &addr);
+                                 } else {
+                                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
+                                         add_environment_string(cpu, "ConsoleIn=serial(0)", &addr);
+                                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
+                                         add_environment_string(cpu, "ConsoleOut=serial(0)", &addr);
+                                         /*  'd' or 'd2' in Irix, 'ttyS0' in Linux?  */
+                                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
+                                         add_environment_string(cpu, "console=d", &addr);                /*  d2 = serial?  */
+                                 }
+                         }
+                         if (machine->machine_type == MACHINE_SGI) {
                                  store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                                 add_environment_string(cpu, "CONSOLEIN=multi()key()keyboard()console()", &addr);
+                                 add_environment_string(cpu, "AutoLoad=No", &addr);
                                  store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                                 add_environment_string(cpu, "CONSOLEOUT=multi()video()monitor()console()", &addr);
+                                 add_environment_string(cpu, "diskless=0", &addr);
-                         } else {
                                  store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                                 add_environment_string(cpu, "ConsoleIn=keyboard()", &addr);
+                                 add_environment_string(cpu, "volume=80", &addr);
                                  store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                                 add_environment_string(cpu, "ConsoleOut=video()", &addr);
+                                 add_environment_string(cpu, "sgilogo=y", &addr);
-                                 /*  g for graphical mode. G for graphical mode
-                                     with SGI logo visible on Irix?  */
                                  store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                                 add_environment_string(cpu, "console=g", &addr);
+                                 add_environment_string(cpu, "monitor=h", &addr);
-                         }
-                 } else {
-                         if (machine->machine_type == MACHINE_ARC) {
-                                 /*  TODO: serial console for ARC?  */
                                  store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                                 add_environment_string(cpu, "CONSOLEIN=multi()serial(0)", &addr);
+                                 add_environment_string(cpu, "TimeZone=GMT", &addr);
                                  store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                                 add_environment_string(cpu, "CONSOLEOUT=multi()serial(0)", &addr);
+                                 add_environment_string(cpu, "nogfxkbd=1", &addr);
-                         } else {
+                                 /*  TODO: 'xio(0)pci(15)scsi(0)disk(1)rdisk(0)partition(0)' on IP30 at least  */
                                  store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                                 add_environment_string(cpu, "ConsoleIn=serial(0)", &addr);
+                                 add_environment_string(cpu, "SystemPartition=pci(0)scsi(0)disk(2)rdisk(0)partition(8)", &addr);
                                  store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                                 add_environment_string(cpu, "ConsoleOut=serial(0)", &addr);
+                                 add_environment_string(cpu, "OSLoadPartition=pci(0)scsi(0)disk(2)rdisk(0)partition(0)", &addr);
-                                 /*  'd' or 'd2' in Irix, 'ttyS0' in Linux?  */
                                  store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                                 add_environment_string(cpu, "console=d", &addr);                /*  d2 = serial?  */
+                                 add_environment_string(cpu, "OSLoadFilename=/unix", &addr);
-                         }
+                                 store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                 }
+                                 add_environment_string(cpu, "OSLoader=sash", &addr);
-                 if (machine->machine_type == MACHINE_SGI) {
-                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                         add_environment_string(cpu, "AutoLoad=No", &addr);
-                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                         add_environment_string(cpu, "diskless=0", &addr);
-                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                         add_environment_string(cpu, "volume=80", &addr);
-                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                         add_environment_string(cpu, "sgilogo=y", &addr);
-                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                         add_environment_string(cpu, "monitor=h", &addr);
-                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                         add_environment_string(cpu, "TimeZone=GMT", &addr);
-                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                         add_environment_string(cpu, "nogfxkbd=1", &addr);
-                         /*  TODO: 'xio(0)pci(15)scsi(0)disk(1)rdisk(0)partition(0)' on IP30 at least  */
+                                 store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
+                                 add_environment_string(cpu, "rbaud=9600", &addr);
+                                 store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
+                                 add_environment_string(cpu, "rebound=y", &addr);
+                                 store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
+                                 add_environment_string(cpu, "crt_option=1", &addr);
+                                 store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
+                                 add_environment_string(cpu, "netaddr=10.0.0.1", &addr);
-                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
+                                 store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                         add_environment_string(cpu, "SystemPartition=pci(0)scsi(0)disk(2)rdisk(0)partition(8)", &addr);
+                                 add_environment_string(cpu, "keybd=US", &addr);
-                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                         add_environment_string(cpu, "OSLoadPartition=pci(0)scsi(0)disk(2)rdisk(0)partition(0)", &addr);
-                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                         add_environment_string(cpu, "OSLoadFilename=/unix", &addr);
-                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                         add_environment_string(cpu, "OSLoader=sash", &addr);
-                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
+                                 store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                         add_environment_string(cpu, "rbaud=9600", &addr);
+                                 add_environment_string(cpu, "cpufreq=3", &addr);
-                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
+                                 store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                         add_environment_string(cpu, "rebound=y", &addr);
+                                 add_environment_string(cpu, "dbaud=9600", &addr);
-                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
+                                 store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                         add_environment_string(cpu, "crt_option=1", &addr);
+                                 add_environment_string(cpu, eaddr_string, &addr);
-                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
+                                 store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                         add_environment_string(cpu, "netaddr=10.0.0.1", &addr);
+                                 add_environment_string(cpu, "verbose=istrue", &addr);
+                                 store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
+                                 add_environment_string(cpu, "showconfig=istrue", &addr);
+                                 store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
+                                 add_environment_string(cpu, "diagmode=v", &addr);
+                                 store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
+                                 add_environment_string(cpu, "kernname=unix", &addr);
+                         } else {
+                                 char *tmp;
+                                 size_t mlen = strlen(bootarg) + strlen("OSLOADOPTIONS=") + 2;
+                                 tmp = malloc(mlen);
+                                 snprintf(tmp, mlen, "OSLOADOPTIONS=%s", bootarg);
+                                 store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
+                                 add_environment_string(cpu, tmp, &addr);
-                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
+                                 store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                         add_environment_string(cpu, "keybd=US", &addr);
+                                 add_environment_string(cpu, "OSLOADPARTITION=scsi(0)cdrom(6)fdisk(0);scsi(0)disk(0)rdisk(0)partition(1)", &addr);
-                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
+                                 store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                         add_environment_string(cpu, "cpufreq=3", &addr);
+                                 add_environment_string(cpu, "SYSTEMPARTITION=scsi(0)cdrom(6)fdisk(0);scsi(0)disk(0)rdisk(0)partition(1)", &addr);
-                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
+                         }
-                         add_environment_string(cpu, "dbaud=9600", &addr);
-                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                         add_environment_string(cpu, eaddr_string, &addr);
-                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                         add_environment_string(cpu, "verbose=istrue", &addr);
-                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                         add_environment_string(cpu, "showconfig=istrue", &addr);
-                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                         add_environment_string(cpu, "diagmode=v", &addr);
-                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                         add_environment_string(cpu, "kernname=unix", &addr);
-                 } else {
-                         char *tmp;
-                         tmp = malloc(strlen(bootarg) + strlen("OSLOADOPTIONS=") + 2);
-                         sprintf(tmp, "OSLOADOPTIONS=%s", bootarg);
-                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
-                         add_environment_string(cpu, tmp, &addr);
-                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
+                         /*  End the environment strings with an empty zero-terminated
-                         add_environment_string(cpu, "OSLOADPARTITION=scsi(0)cdrom(6)fdisk(0);scsi(0)disk(0)rdisk(0)partition(1)", &addr);
+                             string, and the envp array with a NULL pointer.  */
+                         add_environment_string(cpu, "", &addr); /*  the end  */
+                         store_pointer_and_advance(cpu, &addr2,
+, arc_wordlen==sizeof(uint64_t));
-                         store_pointer_and_advance(cpu, &addr2, addr, arc_wordlen==sizeof(uint64_t));
+                         /*  Return address:  (0x20 = ReturnFromMain())  */
-                         add_environment_string(cpu, "SYSTEMPARTITION=scsi(0)cdrom(6)fdisk(0);scsi(0)disk(0)rdisk(0)partition(1)", &addr);
+                         cpu->cd.mips.gpr[MIPS_GPR_RA] = ARC_FIRMWARE_ENTRIES + 0x20;
                  }
-                 /*  End the environment strings with an empty zero-terminated
-                     string, and the envp array with a NULL pointer.  */
-                 add_environment_string(cpu, "", &addr); /*  the end  */
-                 store_pointer_and_advance(cpu, &addr2,
-, arc_wordlen==sizeof(uint64_t));
- no_arc_prom_emulation:          /*  TODO: ugly, get rid of the goto  */
-                 /*  Return address:  (0x20 = ReturnFromMain())  */
-                 cpu->cd.mips.gpr[MIPS_GPR_RA] = ARC_FIRMWARE_ENTRIES + 0x20;
                  break;
          case MACHINE_MESHCUBE:
-Line 3501 
 no_arc_prom_emulation:         /*  TODO: ugly,
+Line 3837 
 no_arc_prom_emulation:         /*  TODO: ugly,
                  device_add(machine, "random addr=0x1017fffc len=4");
-                 /*
+                 if (machine->prom_emulation) {
-                  *  TODO:  A Linux kernel wants "memsize" from somewhere... I
+                         /*
-                  *  haven't found any docs on how it is used though.
+                          *  TODO:  A Linux kernel wants "memsize" from somewhere... I
-                  */
+                          *  haven't found any docs on how it is used though.
+                          */
-                 cpu->cd.mips.gpr[MIPS_GPR_A0] = 1;
+                         cpu->cd.mips.gpr[MIPS_GPR_A0] = 1;
-                 cpu->cd.mips.gpr[MIPS_GPR_A1] = 0xa0001000ULL;
+                         cpu->cd.mips.gpr[MIPS_GPR_A1] = 0xa0001000ULL;
-                 store_32bit_word(cpu, cpu->cd.mips.gpr[MIPS_GPR_A1],
+                         store_32bit_word(cpu, cpu->cd.mips.gpr[MIPS_GPR_A1],
 xa0002000ULL);
-                 store_string(cpu, 0xa0002000ULL, "something=somethingelse");
+                         store_string(cpu, 0xa0002000ULL, "something=somethingelse");
-                 cpu->cd.mips.gpr[MIPS_GPR_A2] = 0xa0003000ULL;
-                 store_string(cpu, 0xa0002000ULL, "hello=world\n");
+                         cpu->cd.mips.gpr[MIPS_GPR_A2] = 0xa0003000ULL;
+                         store_string(cpu, 0xa0002000ULL, "hello=world\n");
+                 }
                  break;
          case MACHINE_NETGEAR:
-                 machine->machine_name = "NetGear WG602";
+                 machine->machine_name = "NetGear WG602v1";
                  if (machine->use_x11)
                          fprintf(stderr, "WARNING! NetGear with -X is meaningless. Continuing anyway.\n");
                  if (machine->physical_ram_in_mb != 16)
-                         fprintf(stderr, "WARNING! Real NetGear WG602 boxes have exactly 16 MB RAM. Continuing anyway.\n");
+                         fprintf(stderr, "WARNING! Real NetGear WG602v1 boxes have exactly 16 MB RAM. Continuing anyway.\n");
                  /*
                   *  Lots of info about the IDT 79RC 32334
-Line 3556 
 no_arc_prom_emulation:         /*  TODO: ugly,
+Line 3892 
 no_arc_prom_emulation:         /*  TODO: ugly,
                  cpu->byte_order = EMUL_BIG_ENDIAN;
                  machine->machine_name = "Sony NeWS (NET WORK STATION)";
-                 /*  This is just a test.  TODO  */
+                 if (machine->prom_emulation) {
-                 {
+                         /*  This is just a test.  TODO  */
                          int i;
                          for (i=0; i<32; i++)
                                  cpu->cd.mips.gpr[i] =
-Line 3569 
 no_arc_prom_emulation:         /*  TODO: ugly,
+Line 3905 
 no_arc_prom_emulation:         /*  TODO: ugly,
                  break;
+         case MACHINE_EVBMIPS:
+                 /*  http://www.netbsd.org/Ports/evbmips/  */
+                 cpu->byte_order = EMUL_LITTLE_ENDIAN;
+                 switch (machine->machine_subtype) {
+                 case MACHINE_EVBMIPS_MALTA:
+                 case MACHINE_EVBMIPS_MALTA_BE:
+                         machine->machine_name = "MALTA (evbmips, little endian)";
+                         cpu->byte_order = EMUL_LITTLE_ENDIAN;
+                         if (machine->machine_subtype == MACHINE_EVBMIPS_MALTA_BE) {
+                                 machine->machine_name = "MALTA (evbmips, big endian)";
+                                 cpu->byte_order = EMUL_BIG_ENDIAN;
+                         }
+                         /*  ISA interrupt controllers:  */
+                         snprintf(tmpstr, sizeof(tmpstr), "8259 irq=24 addr=0x18000020");
+                         machine->isa_pic_data.pic1 = device_add(machine, tmpstr);
+                         snprintf(tmpstr, sizeof(tmpstr), "8259 irq=24 addr=0x180000a0");
+                         machine->isa_pic_data.pic2 = device_add(machine, tmpstr);
+                         machine->md_interrupt = malta_interrupt;
+                         dev_mc146818_init(machine, mem, 0x18000070, 8 + 8, MC146818_PC_CMOS, 1);
+                         machine->main_console_handle = (size_t)
+                             device_add(machine, "ns16550 irq=12 addr=0x180003f8 name2=tty0");
+                         device_add(machine, "ns16550 irq=11 addr=0x180002f8 name2=tty1");
+                         snprintf(tmpstr, sizeof(tmpstr), "ns16550 irq=4 addr=0x%x name2=tty2", MALTA_CBUSUART);
+                         device_add(machine, tmpstr);
+                         /*  TODO: Irqs  */
+                         pci_data = dev_gt_init(machine, mem, 0x1be00000, 8+9, 8+9, 120);
+                         /*  TODO: Haha, this is bogus. Just a cut&paste
+                             from the Cobalt emulation above.  */
+                         bus_pci_add(machine, pci_data, mem, 0,  9, 0, pci_vt82c586_isa_init, pci_vt82c586_isa_rr);
+                         bus_pci_add(machine, pci_data, mem, 0,  9, 1, pci_vt82c586_ide_init, pci_vt82c586_ide_rr);
+                         device_add(machine, "malta_lcd addr=0x1f000400");
+                         break;
+                 case MACHINE_EVBMIPS_PB1000:
+                         machine->machine_name = "PB1000 (evbmips)";
+                         cpu->byte_order = EMUL_BIG_ENDIAN;
+                         machine->md_interrupt = au1x00_interrupt;
+                         machine->md_int.au1x00_ic_data = dev_au1x00_init(machine, mem);
+                         /*  TODO  */
+                         break;
+                 default:
+                         fatal("Unimplemented EVBMIPS model.\n");
+                         exit(1);
+                 }
+                 if (machine->prom_emulation) {
+                         /*  This is just a test.  TODO  */
+                         for (i=0; i<32; i++)
+                                 cpu->cd.mips.gpr[i] =
+x01230000 + (i << 8) + 0x55;
+                         /*  NetBSD/evbmips wants these: (at least for Malta)  */
+                         /*  a0 = argc  */
+                         cpu->cd.mips.gpr[MIPS_GPR_A0] = 2;
+                         /*  a1 = argv  */
+                         cpu->cd.mips.gpr[MIPS_GPR_A1] = (int32_t)0x9fc01000;
+                         store_32bit_word(cpu, (int32_t)0x9fc01000, 0x9fc01040);
+                         store_32bit_word(cpu, (int32_t)0x9fc01004, 0x9fc01200);
+                         store_32bit_word(cpu, (int32_t)0x9fc01008, 0);
+                         bootstr = strdup(machine->boot_kernel_filename);
+                         bootarg = strdup(machine->boot_string_argument);
+                         store_string(cpu, (int32_t)0x9fc01040, bootstr);
+                         store_string(cpu, (int32_t)0x9fc01200, bootarg);
+                         /*  a2 = (yamon_env_var *)envp  */
+                         cpu->cd.mips.gpr[MIPS_GPR_A2] = (int32_t)0x9fc01800;
+                         {
+                                 uint64_t env = cpu->cd.mips.gpr[MIPS_GPR_A2];
+                                 uint64_t tmpptr = 0xffffffff9fc01c00ULL;
+                                 char tmps[50];
+                                 snprintf(tmps, sizeof(tmps), "0x%08x",
+                                     machine->physical_ram_in_mb * 1048576);
+                                 add_environment_string_dual(cpu,
+                                     &env, &tmpptr, "memsize", tmps);
+                                 add_environment_string_dual(cpu,
+                                     &env, &tmpptr, "yamonrev", "02.06");
+                                 /*  End of env:  */
+                                 tmpptr = 0;
+                                 add_environment_string_dual(cpu,
+                                     &env, &tmpptr, NULL, NULL);
+                         }
+                         /*  a3 = memsize  */
+                         cpu->cd.mips.gpr[MIPS_GPR_A3] =
+                             machine->physical_ram_in_mb * 1048576;
+                         /*  Hm. Linux ignores a3.  */
+                         /*
+                          *  TODO:
+                          *      Core ID numbers.
+                          *      How much of this is not valid for PBxxxx?
+                          *
+                          *  See maltareg.h for more info.
+                          */
+                         store_32bit_word(cpu, (int32_t)(0x80000000 + MALTA_REVISION), (1 << 10) + 0x26);
+                         /*  Call vectors at 0x9fc005xx:  */
+                         for (i=0; i<0x100; i+=4)
+                                 store_32bit_word(cpu, (int64_t)(int32_t)0x9fc00500 + i,
+                                     (int64_t)(int32_t)0x9fc00800 + i);
+                 }
+                 break;
+         case MACHINE_PSP:
+                 /*
+                  *  The Playstation Portable seems to be a strange beast.
+                  *
+                  *  http://yun.cup.com/psppg004.html (in Japanese) seems to
+                  *  suggest that virtual addresses are not displaced by
+                  *  0x80000000 as on normal CPUs, but by 0x40000000?
+                  */
+                 machine->machine_name = "Playstation Portable";
+                 cpu->byte_order = EMUL_LITTLE_ENDIAN;
+                 if (!machine->use_x11 && !quiet_mode)
+                         fprintf(stderr, "-------------------------------------"
+                             "------------------------------------------\n"
+                             "\n  WARNING! You are emulating a PSP without -X. "
+                             "You will miss graphical output!\n\n"
+                             "-------------------------------------"
+                             "------------------------------------------\n");
+                 /*  480 x 272 pixels framebuffer (512 bytes per line)  */
+                 fb = dev_fb_init(machine, mem, 0x04000000, VFB_HPCMIPS,
+,272, 512,1088, -15, "Playstation Portable");
+                 /*
+                  *  TODO/NOTE: This is ugly, but necessary since GXemul doesn't
+                  *  emulate any MIPS CPU without MMU right now.
+                  */
+                 mips_coproc_tlb_set_entry(cpu, 0, 1048576*16,
+x44000000 /*vaddr*/, 0x4000000, 0x4000000 + 1048576*16,
+,1,1,1,1, 0, 2, 2);
+                 mips_coproc_tlb_set_entry(cpu, 1, 1048576*16,
+x8000000 /*vaddr*/, 0x0, 0x0 + 1048576*16,
+,1,1,1,1, 0, 2, 2);
+                 mips_coproc_tlb_set_entry(cpu, 2, 1048576*16,
+x9000000 /*vaddr*/, 0x01000000, 0x01000000 + 1048576*16,
+,1,1,1,1, 0, 2, 2);
+                 mips_coproc_tlb_set_entry(cpu, 3, 1048576*16,
+x0 /*vaddr*/, 0, 0 + 1048576*16, 1,1,1,1,1, 0, 2, 2);
+                 cpu->cd.mips.gpr[MIPS_GPR_SP] = 0xfff0;
+                 break;
+ #endif  /*  ENABLE_MIPS  */
+ #ifdef ENABLE_PPC
          case MACHINE_BAREPPC:
                  /*
                   *  A "bare" PPC machine.
-Line 3585 
 no_arc_prom_emulation:         /*  TODO: ugly,
+Line 4083 
 no_arc_prom_emulation:         /*  TODO: ugly,
                  machine->machine_name = "PPC test machine";
                  /*  TODO: interrupt for PPC?  */
-                 machine->main_console_handle = dev_cons_init(
+                 snprintf(tmpstr, sizeof(tmpstr), "cons addr=0x%llx irq=0",
-                     machine, mem, DEV_CONS_ADDRESS, "console", 0);
+                     (long long)DEV_CONS_ADDRESS);
+                 cons_data = device_add(machine, tmpstr);
+                 machine->main_console_handle = cons_data->console_handle;
-                 snprintf(tmpstr, sizeof(tmpstr) - 1, "mp addr=0x%llx",
+                 snprintf(tmpstr, sizeof(tmpstr), "mp addr=0x%llx",
                      (long long)DEV_MP_ADDRESS);
                  device_add(machine, tmpstr);
-                 fb = dev_fb_init(machine, mem, 0x12000000, VFB_GENERIC,
+                 fb = dev_fb_init(machine, mem, DEV_FB_ADDRESS, VFB_GENERIC,
-,480, 640,480, 24, "generic", 1);
+,480, 640,480, 24, "testppc generic");
+                 snprintf(tmpstr, sizeof(tmpstr), "disk addr=0x%llx",
+                     (long long)DEV_DISK_ADDRESS);
+                 device_add(machine, tmpstr);
+                 snprintf(tmpstr, sizeof(tmpstr), "ether addr=0x%llx irq=0",
+                     (long long)DEV_ETHER_ADDRESS);
+                 device_add(machine, tmpstr);
                  break;
          case MACHINE_WALNUT:
-Line 3613 
 no_arc_prom_emulation:         /*  TODO: ugly,
+Line 4122 
 no_arc_prom_emulation:         /*  TODO: ugly,
                  dev_pmppc_init(mem);
                  /*  com0 = 0xff600300, com1 = 0xff600400  */
-                 machine->main_console_handle = dev_ns16550_init(machine, mem,
-xff600300, 0, 1, 1, "serial 0");
+                 machine->main_console_handle = (size_t)device_add(machine, "ns16550 irq=0 addr=0xff600300 name2=tty0");
-                 dev_ns16550_init(machine, mem,
+                 device_add(machine, "ns16550 irq=0 addr=0xff600400 in_use=0 name2=tty1");
-xff600400, 0, 1, 0, "serial 1");
                  break;
-Line 3643 
 no_arc_prom_emulation:         /*  TODO: ugly,
+Line 4151 
 no_arc_prom_emulation:         /*  TODO: ugly,
                  device_add(machine, "bebox");
-                 /*  Serial, used by NetBSD:  */
+                 machine->main_console_handle = (size_t)
-                 machine->main_console_handle = dev_ns16550_init(machine, mem,
+                     device_add(machine, "ns16550 irq=0 addr=0x800003f8 name2=tty0");
-x800003f8, 0, 1, 1, "serial 0");
+                 device_add(machine, "ns16550 irq=0 addr=0x800002f8 name2=tty1 in_use=0");
-                 /*  Serial, used by Linux:  */
+                 dev_pckbc_init(machine, mem, 0x80000060, PCKBC_8042,
-                 dev_ns16550_init(machine, mem, 0x800002f8, 0, 1, 0, "serial 1");
+, 12, machine->use_x11, 1);
-                 /*  This is used by Linux too:  */
+                 if (machine->use_x11)
-                 dev_vga_init(machine, mem, 0xc00a0000ULL, 0x800003c0ULL,
+                         dev_vga_init(machine, mem, 0xc00a0000ULL, 0x800003c0ULL,
-                     machine->machine_name);
+                             machine->machine_name);
-                 store_32bit_word(cpu, 0x3010,
-                     machine->physical_ram_in_mb * 1048576);
-                 /*  TODO: List of stuff, see http://www.beatjapan.org/
-                     mirror/www.be.com/aboutbe/benewsletter/
-                     Issue27.html#Cookbook  for the details.  */
-                 store_32bit_word(cpu, 0x301c, 0);
-                 /*  NetBSD/bebox: r3 = startkernel, r4 = endkernel,
-                     r5 = args, r6 = ptr to bootinfo?  */
-                 cpu->cd.ppc.gpr[3] = 0x3100;
-                 cpu->cd.ppc.gpr[4] = 0x200000;
-                 cpu->cd.ppc.gpr[5] = 0x2000;
-                 store_string(cpu, cpu->cd.ppc.gpr[5], "-a");
-                 cpu->cd.ppc.gpr[6] = machine->physical_ram_in_mb * 1048576
-                     - 0x100;
-                 /*  See NetBSD's bebox/include/bootinfo.h for details  */
-                 store_32bit_word(cpu, cpu->cd.ppc.gpr[6] + 0, 12);  /*  next  */
-                 store_32bit_word(cpu, cpu->cd.ppc.gpr[6] + 4, 0);  /*  mem  */
-                 store_32bit_word(cpu, cpu->cd.ppc.gpr[6] + 8,
-                     machine->physical_ram_in_mb * 1048576);
-                 store_32bit_word(cpu, cpu->cd.ppc.gpr[6] + 12, 20);  /* next */
-                 store_32bit_word(cpu, cpu->cd.ppc.gpr[6] + 16, 1); /* console */
-                 store_buf(cpu, cpu->cd.ppc.gpr[6] + 20, "com", 4);
-                 store_32bit_word(cpu, cpu->cd.ppc.gpr[6] + 24, 0x3f8);/* addr */
-                 store_32bit_word(cpu, cpu->cd.ppc.gpr[6] + 28, 9600);/* speed */
-                 store_32bit_word(cpu, cpu->cd.ppc.gpr[6] + 32, 0);  /*  next  */
-                 store_32bit_word(cpu, cpu->cd.ppc.gpr[6] + 36, 2);  /*  clock */
-                 store_32bit_word(cpu, cpu->cd.ppc.gpr[6] + 40, 100);
+                 if (machine->prom_emulation) {
+                         store_32bit_word(cpu, 0x3010, machine->physical_ram_in_mb * 1048576);
+                         /*  TODO: List of stuff, see http://www.beatjapan.org/
+                             mirror/www.be.com/aboutbe/benewsletter/
+                             Issue27.html#Cookbook  for the details.  */
+                         store_32bit_word(cpu, 0x301c, 0);
+                         /*  NetBSD/bebox: r3 = startkernel, r4 = endkernel,
+                             r5 = args, r6 = ptr to bootinfo?  */
+                         cpu->cd.ppc.gpr[3] = 0x3100;
+                         cpu->cd.ppc.gpr[4] = 0x200000;
+                         cpu->cd.ppc.gpr[5] = 0x2000;
+                         store_string(cpu, cpu->cd.ppc.gpr[5], "-a");
+                         cpu->cd.ppc.gpr[6] = machine->physical_ram_in_mb * 1048576 - 0x100;
+                         /*  See NetBSD's bebox/include/bootinfo.h for details  */
+                         store_32bit_word(cpu, cpu->cd.ppc.gpr[6] + 0, 12);  /*  next  */
+                         store_32bit_word(cpu, cpu->cd.ppc.gpr[6] + 4, 0);  /*  mem  */
+                         store_32bit_word(cpu, cpu->cd.ppc.gpr[6] + 8,
+                             machine->physical_ram_in_mb * 1048576);
+                         store_32bit_word(cpu, cpu->cd.ppc.gpr[6] + 12, 20);  /* next */
+                         store_32bit_word(cpu, cpu->cd.ppc.gpr[6] + 16, 1); /* console */
+                         store_buf(cpu, cpu->cd.ppc.gpr[6] + 20,
+                             machine->use_x11? "vga" : "com", 4);
+                         store_32bit_word(cpu, cpu->cd.ppc.gpr[6] + 24, 0x3f8);/* addr */
+                         store_32bit_word(cpu, cpu->cd.ppc.gpr[6] + 28, 9600);/* speed */
+                         store_32bit_word(cpu, cpu->cd.ppc.gpr[6] + 32, 0);  /*  next  */
+                         store_32bit_word(cpu, cpu->cd.ppc.gpr[6] + 36, 2);  /*  clock */
+                         store_32bit_word(cpu, cpu->cd.ppc.gpr[6] + 40, 100);
+                 }
                  break;
          case MACHINE_PREP:
-Line 3695 
 no_arc_prom_emulation:         /*  TODO: ugly,
+Line 4203 
 no_arc_prom_emulation:         /*  TODO: ugly,
                   */
                  machine->machine_name = "PowerPC Reference Platform";
-                 {
+                 if (machine->prom_emulation) {
-                         int i;
+                         /*  Linux on PReP has 0xdeadc0de at address 0? (See
-                         for (i=0; i<32; i++)
+                             http://joshua.raleigh.nc.us/docs/linux-2.4.10_html/113568.html)  */
-                                 cpu->cd.ppc.gpr[i] =
+                         store_32bit_word(cpu, 0, 0xdeadc0de);
-x12340000 + (i << 8) + 0x55;
-                 }
-                 /*  Linux on PReP has 0xdeadc0de at address 0? (See
-                     http://joshua.raleigh.nc.us/docs/linux-2.4.10_html/113568.html)  */
-                 store_32bit_word(cpu, 0, 0xdeadc0de);
-                 /*  r6 should point to "residual data"?  */
-                 cpu->cd.ppc.gpr[6] = machine->physical_ram_in_mb * 1048576
-                     - 0x1000;
+                         /*  r6 should point to "residual data"?  */
+                         cpu->cd.ppc.gpr[6] = machine->physical_ram_in_mb * 1048576 - 0x1000;
+                 }
                  break;
          case MACHINE_MACPPC:
-Line 3719 
 no_arc_prom_emulation:         /*  TODO: ugly,
+Line 4220 
 no_arc_prom_emulation:         /*  TODO: ugly,
                   */
                  machine->machine_name = "Macintosh (PPC)";
-                 /*  r5 = OpenFirmware entry point  */
+                 if (machine->prom_emulation) {
-                 cpu->cd.ppc.gpr[5] = cpu->cd.ppc.of_emul_addr;
+                         uint64_t b = 8 * 1048576, a = b - 0x800;
+                         int i;
+                         /*
+                          *  r3 = pointer to boot_args (for the Mach kernel).
+                          *  See http://darwinsource.opendarwin.org/10.3/
+                          *  BootX-59/bootx.tproj/include.subproj/boot_args.h
+                          *  for more info.
+                          */
+                         cpu->cd.ppc.gpr[3] = a;
+                         store_16bit_word(cpu, a + 0x0000, 1);   /*  revision  */
+                         store_16bit_word(cpu, a + 0x0002, 2);   /*  version  */
+                         store_buf(cpu, a + 0x0004, machine->boot_string_argument, 256);
+                         /*  26 dram banks; "long base; long size"  */
+                         store_32bit_word(cpu, a + 0x0104, 0);   /*  base  */
+                         store_32bit_word(cpu, a + 0x0108, machine->physical_ram_in_mb
+                             * 256);             /*  size (in pages)  */
+                         for (i=8; i<26*8; i+= 4)
+                                 store_32bit_word(cpu, a + 0x0104 + i, 0);
+                         a += (0x104 + 26 * 8);
+                         /*  Video info:  */
+                         store_32bit_word(cpu, a+0, 0xd0000000); /*  video base  */
+                         store_32bit_word(cpu, a+4, 0);          /*  display code (?)  */
+                         store_32bit_word(cpu, a+8, 800);        /*  bytes per pixel row  */
+                         store_32bit_word(cpu, a+12, 800);       /*  width  */
+                         store_32bit_word(cpu, a+16, 600);       /*  height  */
+                         store_32bit_word(cpu, a+20, 8);         /*  pixel depth  */
+                         a += 24;
+                         store_32bit_word(cpu, a+0, 127);        /*  gestalt number (TODO)  */
+                         store_32bit_word(cpu, a+4, 0);          /*  device tree pointer (TODO)  */
+                         store_32bit_word(cpu, a+8, 0);          /*  device tree length  */
+                         store_32bit_word(cpu, a+12, b);         /*  last address of kernel data area  */
+                         /*  r4 = "MOSX" (0x4D4F5358)  */
+                         cpu->cd.ppc.gpr[4] = 0x4D4F5358;
+                         /*
+                          *  r5 = OpenFirmware entry point.  NOTE: See
+                          *  cpu_ppc.c for the rest of this semi-ugly hack.
+                          */
+                         dev_ram_init(cpu->mem, cpu->cd.ppc.of_emul_addr,
+x1000, DEV_RAM_RAM, 0x0);
+                         store_32bit_word(cpu, cpu->cd.ppc.of_emul_addr,
+x44ee0002);
+                         cpu->cd.ppc.gpr[5] = cpu->cd.ppc.of_emul_addr;
+                 }
                  break;
          case MACHINE_DB64360:
                  /*  For playing with PMON2000 for PPC:  */
                  machine->machine_name = "DB64360";
-                 machine->main_console_handle = dev_ns16550_init(machine, mem,
+                 machine->main_console_handle = (size_t)device_add(machine,
-x1d000020, 0, 4, 1, "serial console");
+                     "ns16550 irq=0 addr=0x1d000020 addr_mult=4");
-                 {
+                 if (machine->prom_emulation) {
                          int i;
                          for (i=0; i<32; i++)
                                  cpu->cd.ppc.gpr[i] =
-Line 3739 
 no_arc_prom_emulation:         /*  TODO: ugly,
+Line 4283 
 no_arc_prom_emulation:         /*  TODO: ugly,
                  }
                  break;
+ #endif  /*  ENABLE_PPC  */
-         case MACHINE_BARESPARC:
+ #ifdef ENABLE_SH
-                 /*  A bare SPARC machine, with no devices.  */
+         case MACHINE_BARESH:
-                 machine->machine_name = "\"Bare\" SPARC machine";
+                 /*  A bare SH machine, with no devices.  */
+                 machine->machine_name = "\"Bare\" SH machine";
                  break;
-         case MACHINE_ULTRA1:
+         case MACHINE_TESTSH:
-                 /*
+                 machine->machine_name = "SH test machine";
-                  *  NetBSD/sparc64 (http://www.netbsd.org/Ports/sparc64/)
-                  *  OpenBSD/sparc64 (http://www.openbsd.org/sparc64.html)
+                 snprintf(tmpstr, sizeof(tmpstr), "cons addr=0x%llx irq=0",
-                  */
+                     (long long)DEV_CONS_ADDRESS);
-                 machine->machine_name = "Sun Ultra1";
+                 cons_data = device_add(machine, tmpstr);
-                 break;
+                 machine->main_console_handle = cons_data->console_handle;
+                 snprintf(tmpstr, sizeof(tmpstr), "mp addr=0x%llx",
+                     (long long)DEV_MP_ADDRESS);
+                 device_add(machine, tmpstr);
+                 fb = dev_fb_init(machine, mem, DEV_FB_ADDRESS, VFB_GENERIC,
+,480, 640,480, 24, "testsh generic");
+                 snprintf(tmpstr, sizeof(tmpstr), "disk addr=0x%llx",
+                     (long long)DEV_DISK_ADDRESS);
+                 device_add(machine, tmpstr);
+                 snprintf(tmpstr, sizeof(tmpstr), "ether addr=0x%llx irq=0",
+                     (long long)DEV_ETHER_ADDRESS);
+                 device_add(machine, tmpstr);
-         case MACHINE_BAREURISC:
-                 machine->machine_name = "\"Bare\" URISC machine";
                  break;
-         case MACHINE_TESTURISC:
+         case MACHINE_HPCSH:
-                 machine->machine_name = "URISC test machine";
+                 /*  Handheld SH-based machines:  */
+                 machine->machine_name = "HPCsh";
                  /*  TODO  */
-                 /*  A special "device" for accessing normal devices
-                     using urisc accesses?  */
-                 device_add(machine, "urisc addr=0x12341234");
                  break;
+ #endif  /*  ENABLE_SH  */
+ #ifdef ENABLE_HPPA
          case MACHINE_BAREHPPA:
+                 /*  A bare HPPA machine, with no devices.  */
                  machine->machine_name = "\"Bare\" HPPA machine";
                  break;
          case MACHINE_TESTHPPA:
                  machine->machine_name = "HPPA test machine";
-                 /*  TODO  */
+                 snprintf(tmpstr, sizeof(tmpstr), "cons addr=0x%llx irq=0",
+                     (long long)DEV_CONS_ADDRESS);
+                 cons_data = device_add(machine, tmpstr);
+                 machine->main_console_handle = cons_data->console_handle;
+                 snprintf(tmpstr, sizeof(tmpstr), "mp addr=0x%llx",
+                     (long long)DEV_MP_ADDRESS);
+                 device_add(machine, tmpstr);
+                 fb = dev_fb_init(machine, mem, DEV_FB_ADDRESS, VFB_GENERIC,
+,480, 640,480, 24, "testhppa generic");
+                 snprintf(tmpstr, sizeof(tmpstr), "disk addr=0x%llx",
+                     (long long)DEV_DISK_ADDRESS);
+                 device_add(machine, tmpstr);
+                 snprintf(tmpstr, sizeof(tmpstr), "ether addr=0x%llx irq=0",
+                     (long long)DEV_ETHER_ADDRESS);
+                 device_add(machine, tmpstr);
+                 break;
+ #endif  /*  ENABLE_HPPA  */
+ #ifdef ENABLE_I960
+         case MACHINE_BAREI960:
+                 /*  A bare I960 machine, with no devices.  */
+                 machine->machine_name = "\"Bare\" i960 machine";
+                 break;
+         case MACHINE_TESTI960:
+                 machine->machine_name = "i960 test machine";
+                 snprintf(tmpstr, sizeof(tmpstr), "cons addr=0x%llx irq=0",
+                     (long long)DEV_CONS_ADDRESS);
+                 cons_data = device_add(machine, tmpstr);
+                 machine->main_console_handle = cons_data->console_handle;
+                 snprintf(tmpstr, sizeof(tmpstr), "mp addr=0x%llx",
+                     (long long)DEV_MP_ADDRESS);
+                 device_add(machine, tmpstr);
+                 fb = dev_fb_init(machine, mem, DEV_FB_ADDRESS, VFB_GENERIC,
+,480, 640,480, 24, "testi960 generic");
+                 snprintf(tmpstr, sizeof(tmpstr), "disk addr=0x%llx",
+                     (long long)DEV_DISK_ADDRESS);
+                 device_add(machine, tmpstr);
+                 snprintf(tmpstr, sizeof(tmpstr), "ether addr=0x%llx irq=0",
+                     (long long)DEV_ETHER_ADDRESS);
+                 device_add(machine, tmpstr);
+                 break;
+ #endif  /*  ENABLE_I960  */
+ #ifdef ENABLE_SPARC
+         case MACHINE_BARESPARC:
+                 /*  A bare SPARC machine, with no devices.  */
+                 machine->machine_name = "\"Bare\" SPARC machine";
                  break;
+         case MACHINE_TESTSPARC:
+                 machine->machine_name = "SPARC test machine";
+                 snprintf(tmpstr, sizeof(tmpstr), "cons addr=0x%llx irq=0",
+                     (long long)DEV_CONS_ADDRESS);
+                 cons_data = device_add(machine, tmpstr);
+                 machine->main_console_handle = cons_data->console_handle;
+                 snprintf(tmpstr, sizeof(tmpstr), "mp addr=0x%llx",
+                     (long long)DEV_MP_ADDRESS);
+                 device_add(machine, tmpstr);
+                 fb = dev_fb_init(machine, mem, DEV_FB_ADDRESS, VFB_GENERIC,
+,480, 640,480, 24, "testsparc generic");
+                 snprintf(tmpstr, sizeof(tmpstr), "disk addr=0x%llx",
+                     (long long)DEV_DISK_ADDRESS);
+                 device_add(machine, tmpstr);
+                 snprintf(tmpstr, sizeof(tmpstr), "ether addr=0x%llx irq=0",
+                     (long long)DEV_ETHER_ADDRESS);
+                 device_add(machine, tmpstr);
+                 break;
+         case MACHINE_ULTRA1:
+                 /*
+                  *  NetBSD/sparc64 (http://www.netbsd.org/Ports/sparc64/)
+                  *  OpenBSD/sparc64 (http://www.openbsd.org/sparc64.html)
+                  */
+                 machine->machine_name = "Sun Ultra1";
+                 break;
+ #endif  /*  ENABLE_SPARC  */
+ #ifdef ENABLE_ALPHA
          case MACHINE_BAREALPHA:
                  machine->machine_name = "\"Bare\" Alpha machine";
                  break;
-Line 3785 
 no_arc_prom_emulation:         /*  TODO: ugly,
+Line 4437 
 no_arc_prom_emulation:         /*  TODO: ugly,
          case MACHINE_TESTALPHA:
                  machine->machine_name = "Alpha test machine";
-                 /*  TODO  */
+                 snprintf(tmpstr, sizeof(tmpstr), "cons addr=0x%llx irq=0",
+                     (long long)DEV_CONS_ADDRESS);
+                 cons_data = device_add(machine, tmpstr);
+                 machine->main_console_handle = cons_data->console_handle;
+                 snprintf(tmpstr, sizeof(tmpstr), "mp addr=0x%llx",
+                     (long long)DEV_MP_ADDRESS);
+                 device_add(machine, tmpstr);
+                 fb = dev_fb_init(machine, mem, DEV_FB_ADDRESS, VFB_GENERIC,
+,480, 640,480, 24, "testalpha generic");
+                 snprintf(tmpstr, sizeof(tmpstr), "disk addr=0x%llx",
+                     (long long)DEV_DISK_ADDRESS);
+                 device_add(machine, tmpstr);
+                 snprintf(tmpstr, sizeof(tmpstr), "ether addr=0x%llx irq=0",
+                     (long long)DEV_ETHER_ADDRESS);
+                 device_add(machine, tmpstr);
                  break;
+         case MACHINE_ALPHA:
+                 if (machine->prom_emulation) {
+                         struct rpb rpb;
+                         struct crb crb;
+                         struct ctb ctb;
+                         /*  TODO:  Most of these... They are used by NetBSD/alpha:  */
+                         /*  a0 = First free Page Frame Number  */
+                         /*  a1 = PFN of current Level 1 page table  */
+                         /*  a2 = Bootinfo magic  */
+                         /*  a3 = Bootinfo pointer  */
+                         /*  a4 = Bootinfo version  */
+                         cpu->cd.alpha.r[ALPHA_A0] = 16*1024*1024 / 8192;
+                         cpu->cd.alpha.r[ALPHA_A1] = 0;
+                         cpu->cd.alpha.r[ALPHA_A2] = 0;
+                         cpu->cd.alpha.r[ALPHA_A3] = 0;
+                         cpu->cd.alpha.r[ALPHA_A4] = 0;
+                         /*  HWRPB: Hardware Restart Parameter Block  */
+                         memset(&rpb, 0, sizeof(struct rpb));
+                         store_64bit_word_in_host(cpu, (unsigned char *)
+                             &(rpb.rpb_phys), HWRPB_ADDR);
+                         strlcpy((char *)&(rpb.rpb_magic), "HWRPB", 8);
+                         store_64bit_word_in_host(cpu, (unsigned char *)
+                             &(rpb.rpb_size), sizeof(struct rpb));
+                         store_64bit_word_in_host(cpu, (unsigned char *)
+                             &(rpb.rpb_page_size), 8192);
+                         store_64bit_word_in_host(cpu, (unsigned char *)
+                             &(rpb.rpb_type), machine->machine_subtype);
+                         store_64bit_word_in_host(cpu, (unsigned char *)
+                             &(rpb.rpb_cc_freq), 100000000);
+                         store_64bit_word_in_host(cpu, (unsigned char *)
+                             &(rpb.rpb_ctb_off), CTB_ADDR - HWRPB_ADDR);
+                         store_64bit_word_in_host(cpu, (unsigned char *)
+                             &(rpb.rpb_crb_off), CRB_ADDR - HWRPB_ADDR);
+                         /*  CTB: Console Terminal Block  */
+                         memset(&ctb, 0, sizeof(struct ctb));
+                         store_64bit_word_in_host(cpu, (unsigned char *)
+                             &(ctb.ctb_term_type), machine->use_x11?
+                             CTB_GRAPHICS : CTB_PRINTERPORT);
+                         /*  CRB: Console Routine Block  */
+                         memset(&crb, 0, sizeof(struct crb));
+                         store_64bit_word_in_host(cpu, (unsigned char *)
+                             &(crb.crb_v_dispatch), CRB_ADDR - 0x100);
+                         store_64bit_word(cpu, CRB_ADDR - 0x100 + 8, 0x10000);
+                         /*
+                          *  Place a special "hack" palcode call at 0x10000:
+                          *  (Hopefully nothing else will be there.)
+                          */
+                         store_32bit_word(cpu, 0x10000, 0x3fffffe);
+                         store_buf(cpu, HWRPB_ADDR, (char *)&rpb, sizeof(struct rpb));
+                         store_buf(cpu, CTB_ADDR, (char *)&ctb, sizeof(struct ctb));
+                         store_buf(cpu, CRB_ADDR, (char *)&crb, sizeof(struct crb));
+                 }
+                 switch (machine->machine_subtype) {
+                 case ST_DEC_3000_300:
+                         machine->machine_name = "DEC 3000/300";
+                         machine->main_console_handle =
+                             dev_zs_init(machine, mem, 0x1b0200000ULL,
+, 4, "serial zs"); /*  serial? netbsd?  */
+                         break;
+                 case ST_EB164:
+                         machine->machine_name = "EB164";
+                         break;
+                 default:fatal("Unimplemented Alpha machine type %i\n",
+                             machine->machine_subtype);
+                         exit(1);
+                 }
+                 break;
+ #endif  /*  ENABLE_ALPHA  */
+ #ifdef ENABLE_ARM
          case MACHINE_BAREARM:
                  machine->machine_name = "\"Bare\" ARM machine";
                  break;
-Line 3795 
 no_arc_prom_emulation:         /*  TODO: ugly,
+Line 4544 
 no_arc_prom_emulation:         /*  TODO: ugly,
          case MACHINE_TESTARM:
                  machine->machine_name = "ARM test machine";
+                 snprintf(tmpstr, sizeof(tmpstr), "cons addr=0x%llx irq=0",
+                     (long long)DEV_CONS_ADDRESS);
+                 cons_data = device_add(machine, tmpstr);
+                 machine->main_console_handle = cons_data->console_handle;
+                 snprintf(tmpstr, sizeof(tmpstr), "mp addr=0x%llx",
+                     (long long)DEV_MP_ADDRESS);
+                 device_add(machine, tmpstr);
+                 fb = dev_fb_init(machine, mem, DEV_FB_ADDRESS, VFB_GENERIC,
+,480, 640,480, 24, "testarm generic");
+                 snprintf(tmpstr, sizeof(tmpstr), "disk addr=0x%llx",
+                     (long long)DEV_DISK_ADDRESS);
+                 device_add(machine, tmpstr);
+                 snprintf(tmpstr, sizeof(tmpstr), "ether addr=0x%llx irq=0",
+                     (long long)DEV_ETHER_ADDRESS);
+                 device_add(machine, tmpstr);
+                 /*  Place a tiny stub at end of memory, and set the link
+                     register to point to it. This stub halts the machine.  */
+                 cpu->cd.arm.r[ARM_SP] =
+                     machine->physical_ram_in_mb * 1048576 - 4096;
+                 cpu->cd.arm.r[ARM_LR] = cpu->cd.arm.r[ARM_SP] + 32;
+                 store_32bit_word(cpu, cpu->cd.arm.r[ARM_LR] + 0, 0xe3a00201);
+                 store_32bit_word(cpu, cpu->cd.arm.r[ARM_LR] + 4, 0xe5c00010);
+                 store_32bit_word(cpu, cpu->cd.arm.r[ARM_LR] + 8,
+xeafffffe);
+                 break;
+         case MACHINE_CATS:
+                 machine->machine_name = "CATS evaluation board";
+                 if (machine->emulated_hz == 0)
+                         machine->emulated_hz = 50000000;
+                 if (machine->physical_ram_in_mb > 256)
+                         fprintf(stderr, "WARNING! Real CATS machines cannot"
+                             " have more than 256 MB RAM. Continuing anyway.\n");
+                 machine->md_int.footbridge_data =
+                     device_add(machine, "footbridge addr=0x42000000");
+                 machine->md_interrupt = footbridge_interrupt;
+                 /*  NetBSD and OpenBSD clean their caches here:  */
+                 dev_ram_init(mem, 0x50000000, 0x4000, DEV_RAM_RAM, 0);
+                 /*  Interrupt ack space?  */
+                 dev_ram_init(mem, 0x80000000, 0x1000, DEV_RAM_RAM, 0);
+                 snprintf(tmpstr, sizeof(tmpstr), "8259 irq=64 addr=0x7c000020");
+                 machine->isa_pic_data.pic1 = device_add(machine, tmpstr);
+                 snprintf(tmpstr, sizeof(tmpstr), "8259 irq=64 addr=0x7c0000a0");
+                 machine->isa_pic_data.pic2 = device_add(machine, tmpstr);
+                 device_add(machine, "pccmos addr=0x7c000070");
+                 if (machine->use_x11) {
+                         bus_pci_add(machine, machine->md_int.footbridge_data->pcibus,
+                             mem, 0xc0, 8, 0, pci_s3_virge_init, pci_s3_virge_rr);
+                         dev_vga_init(machine, mem, 0x800a0000ULL, 0x7c0003c0, machine->machine_name);
+                         j = dev_pckbc_init(machine, mem, 0x7c000060, PCKBC_8042,
++ 1, 32 + 12, machine->use_x11, 0);
+                         machine->main_console_handle = j;
+                 }
+                 device_add(machine, "ns16550 irq=36 addr=0x7c0003f8 name2=com0 in_use=0");
+                 device_add(machine, "ns16550 irq=35 addr=0x7c0002f8 name2=com1 in_use=0");
+                 device_add(machine, "lpt irq=39 addr=0x7c000378 name2=lpt in_use=0");
+                 if (machine->prom_emulation) {
+                         struct ebsaboot ebsaboot;
+                         char bs[300];
+                         int boot_id = bootdev_id >= 0? bootdev_id : 0;
+                         cpu->cd.arm.r[0] = /* machine->physical_ram_in_mb */
+* 1048576 - 0x1000;
+                         memset(&ebsaboot, 0, sizeof(struct ebsaboot));
+                         store_32bit_word_in_host(cpu, (unsigned char *)
+                             &(ebsaboot.bt_magic), BT_MAGIC_NUMBER_CATS);
+                         store_32bit_word_in_host(cpu, (unsigned char *)
+                             &(ebsaboot.bt_vargp), 0);
+                         store_32bit_word_in_host(cpu, (unsigned char *)
+                             &(ebsaboot.bt_pargp), 0);
+                         store_32bit_word_in_host(cpu, (unsigned char *)
+                             &(ebsaboot.bt_args), cpu->cd.arm.r[0]
+                             + sizeof(struct ebsaboot));
+                         store_32bit_word_in_host(cpu, (unsigned char *)
+                             &(ebsaboot.bt_l1), 7 * 1048576 - 32768);
+                         store_32bit_word_in_host(cpu, (unsigned char *)
+                             &(ebsaboot.bt_memstart), 0);
+                         store_32bit_word_in_host(cpu, (unsigned char *)
+                             &(ebsaboot.bt_memend),
+                             machine->physical_ram_in_mb * 1048576);
+                         store_32bit_word_in_host(cpu, (unsigned char *)
+                             &(ebsaboot.bt_memavail), 7 * 1048576);
+                         store_32bit_word_in_host(cpu, (unsigned char *)
+                             &(ebsaboot.bt_fclk), 50 * 1000000);
+                         store_32bit_word_in_host(cpu, (unsigned char *)
+                             &(ebsaboot.bt_pciclk), 66 * 1000000);
+                         /*  TODO: bt_vers  */
+                         /*  TODO: bt_features  */
+                         store_buf(cpu, cpu->cd.arm.r[0],
+                             (char *)&ebsaboot, sizeof(struct ebsaboot));
+                         snprintf(bs, sizeof(bs), "(hd%i)%s%s%s",
+                             boot_id, machine->boot_kernel_filename,
+                             (machine->boot_string_argument[0])? " " : "",
+                             machine->boot_string_argument);
+                         store_string(cpu, cpu->cd.arm.r[0] +
+                             sizeof(struct ebsaboot), bs);
+                         arm_setup_initial_translation_table(cpu,
+* 1048576 - 32768);
+                 }
+                 break;
+         case MACHINE_HPCARM:
+                 machine->machine_name = "HPCarm";
+                 dev_ram_init(mem, 0xc0000000, 0x10000000, DEV_RAM_MIRROR, 0x0);
+                 /*  TODO: Different models  */
+                 if (machine->prom_emulation) {
+                         cpu->cd.arm.r[0] = 1;
+                         cpu->cd.arm.r[ARM_SP] = 0xc000c000;
+                 }
+                 break;
+         case MACHINE_ZAURUS:
+                 machine->machine_name = "Zaurus";
+                 dev_ram_init(mem, 0xa0000000, 0x20000000, DEV_RAM_MIRROR, 0x0);
+                 device_add(machine, "ns16550 irq=0 addr=0x40100000 addr_mult=4");
                  /*  TODO  */
+                 if (machine->prom_emulation) {
+                         arm_setup_initial_translation_table(cpu, 0x4000);
+                 }
                  break;
+         case MACHINE_NETWINDER:
+                 machine->machine_name = "NetWinder";
+                 if (machine->physical_ram_in_mb > 256)
+                         fprintf(stderr, "WARNING! Real NetWinders cannot"
+                             " have more than 256 MB RAM. Continuing anyway.\n");
+                 machine->md_int.footbridge_data =
+                     device_add(machine, "footbridge addr=0x42000000");
+                 machine->md_interrupt = footbridge_interrupt;
+                 snprintf(tmpstr, sizeof(tmpstr), "8259 irq=64 addr=0x7c000020");
+                 machine->isa_pic_data.pic1 = device_add(machine, tmpstr);
+                 snprintf(tmpstr, sizeof(tmpstr), "8259 irq=64 addr=0x7c0000a0");
+                 machine->isa_pic_data.pic2 = device_add(machine, tmpstr);
+                 device_add(machine, "ns16550 irq=36 addr=0x7c0003f8 name2=com0");
+                 device_add(machine, "ns16550 irq=35 addr=0x7c0002f8 name2=com1");
+                 if (machine->use_x11) {
+                         bus_pci_add(machine, machine->md_int.footbridge_data->pcibus,
+                             mem, 0xc0, 8, 0, pci_igsfb_init, pci_igsfb_rr);
+                         dev_vga_init(machine, mem, 0x800a0000ULL, 0x7c0003c0, machine->machine_name);
+                         j = dev_pckbc_init(machine, mem, 0x7c000060, PCKBC_8042,
++ 1, 32 + 12, machine->use_x11, 0);
+                         machine->main_console_handle = j;
+                 }
+                 if (machine->prom_emulation) {
+                         arm_setup_initial_translation_table(cpu, 0x4000);
+                 }
+                 break;
+         case MACHINE_SHARK:
+                 machine->machine_name = "Digital DNARD (\"Shark\")";
+                 if (machine->prom_emulation) {
+                         arm_setup_initial_translation_table(cpu,
+                             machine->physical_ram_in_mb * 1048576 - 65536);
+                         /*
+                          *  r0 = OpenFirmware entry point.  NOTE: See
+                          *  cpu_arm.c for the rest of this semi-ugly hack.
+                          */
+                         cpu->cd.arm.r[0] = cpu->cd.arm.of_emul_addr;
+                 }
+                 break;
+         case MACHINE_IQ80321:
+                 /*
+                  *  Intel IQ80321. See http://sources.redhat.com/ecos/docs-latest/redboot/iq80321.html
+                  *  for more details about the memory map.
+                  */
+                 machine->machine_name = "Intel IQ80321 (ARM)";
+                 cpu->cd.arm.coproc[6] = arm_coproc_i80321;
+                 cpu->cd.arm.coproc[14] = arm_coproc_i80321_14;
+                 device_add(machine, "ns16550 irq=0 addr=0xfe800000");
+                 dev_ram_init(mem, 0xa0000000, 0x20000000, DEV_RAM_MIRROR, 0x0);
+                 dev_ram_init(mem, 0xc0000000, 0x20000000, DEV_RAM_MIRROR, 0x0);
+                 if (machine->prom_emulation) {
+                         arm_setup_initial_translation_table(cpu, 0x8000);
+                 }
+                 break;
+         case MACHINE_IYONIX:
+                 machine->machine_name = "Iyonix";
+                 cpu->cd.arm.coproc[6] = arm_coproc_i80321;
+                 cpu->cd.arm.coproc[14] = arm_coproc_i80321_14;
+                 if (machine->prom_emulation) {
+                         arm_setup_initial_translation_table(cpu,
+                             machine->physical_ram_in_mb * 1048576 - 65536);
+                 }
+                 break;
+ #endif  /*  ENABLE_ARM  */
+ #ifdef ENABLE_AVR
+         case MACHINE_BAREAVR:
+                 /*  A bare Atmel AVR machine, with no devices.  */
+                 machine->machine_name = "\"Bare\" Atmel AVR machine";
+                 break;
+ #endif  /*  ENABLE_AVR  */
+ #ifdef ENABLE_IA64
+         case MACHINE_BAREIA64:
+                 machine->machine_name = "\"Bare\" IA64 machine";
+                 break;
+         case MACHINE_TESTIA64:
+                 machine->machine_name = "IA64 test machine";
+                 snprintf(tmpstr, sizeof(tmpstr), "cons addr=0x%llx irq=0",
+                     (long long)DEV_CONS_ADDRESS);
+                 cons_data = device_add(machine, tmpstr);
+                 machine->main_console_handle = cons_data->console_handle;
+                 snprintf(tmpstr, sizeof(tmpstr), "mp addr=0x%llx",
+                     (long long)DEV_MP_ADDRESS);
+                 device_add(machine, tmpstr);
+                 fb = dev_fb_init(machine, mem, DEV_FB_ADDRESS, VFB_GENERIC,
+,480, 640,480, 24, "testia64 generic");
+                 snprintf(tmpstr, sizeof(tmpstr), "disk addr=0x%llx",
+                     (long long)DEV_DISK_ADDRESS);
+                 device_add(machine, tmpstr);
+                 snprintf(tmpstr, sizeof(tmpstr), "ether addr=0x%llx irq=0",
+                     (long long)DEV_ETHER_ADDRESS);
+                 device_add(machine, tmpstr);
+                 break;
+ #endif  /*  ENABLE_IA64  */
+ #ifdef ENABLE_M68K
+         case MACHINE_BAREM68K:
+                 machine->machine_name = "\"Bare\" M68K machine";
+                 break;
+         case MACHINE_TESTM68K:
+                 machine->machine_name = "M68K test machine";
+                 snprintf(tmpstr, sizeof(tmpstr), "cons addr=0x%llx irq=0",
+                     (long long)DEV_CONS_ADDRESS);
+                 cons_data = device_add(machine, tmpstr);
+                 machine->main_console_handle = cons_data->console_handle;
+                 snprintf(tmpstr, sizeof(tmpstr), "mp addr=0x%llx",
+                     (long long)DEV_MP_ADDRESS);
+                 device_add(machine, tmpstr);
+                 fb = dev_fb_init(machine, mem, DEV_FB_ADDRESS, VFB_GENERIC,
+,480, 640,480, 24, "testm68k generic");
+                 snprintf(tmpstr, sizeof(tmpstr), "disk addr=0x%llx",
+                     (long long)DEV_DISK_ADDRESS);
+                 device_add(machine, tmpstr);
+                 snprintf(tmpstr, sizeof(tmpstr), "ether addr=0x%llx irq=0",
+                     (long long)DEV_ETHER_ADDRESS);
+                 device_add(machine, tmpstr);
+                 break;
+ #endif  /*  ENABLE_M68K  */
+ #ifdef ENABLE_X86
          case MACHINE_BAREX86:
                  machine->machine_name = "\"Bare\" x86 machine";
                  break;
-Line 3809 
 no_arc_prom_emulation:         /*  TODO: ugly,
+Line 4843 
 no_arc_prom_emulation:         /*  TODO: ugly,
                          machine->machine_name = "Generic x86 PC";
                  /*  Interrupt controllers:  */
-                 snprintf(tmpstr, sizeof(tmpstr) - 1, "8259 addr=0x%llx",
+                 snprintf(tmpstr, sizeof(tmpstr), "8259 irq=16 addr=0x%llx",
                      (long long)(X86_IO_BASE + 0x20));
-                 machine->md.pc.pic1 = device_add(machine, tmpstr);
+                 machine->isa_pic_data.pic1 = device_add(machine, tmpstr);
                  if (machine->machine_subtype != MACHINE_X86_XT) {
-                         snprintf(tmpstr, sizeof(tmpstr) - 1, "8259 addr=0x%llx irq=2",
+                         snprintf(tmpstr, sizeof(tmpstr), "8259 irq=16 addr=0x%llx irq=2",
                              (long long)(X86_IO_BASE + 0xa0));
-                         machine->md.pc.pic2 = device_add(machine, tmpstr);
+                         machine->isa_pic_data.pic2 = device_add(machine, tmpstr);
                  }
                  machine->md_interrupt = x86_pc_interrupt;
                  /*  Timer:  */
-                 snprintf(tmpstr, sizeof(tmpstr) - 1, "8253 addr=0x%llx irq=0",
+                 snprintf(tmpstr, sizeof(tmpstr), "8253 addr=0x%llx irq=0",
                      (long long)(X86_IO_BASE + 0x40));
                  device_add(machine, tmpstr);
-                 snprintf(tmpstr, sizeof(tmpstr) - 1, "pccmos addr=0x%llx",
+                 snprintf(tmpstr, sizeof(tmpstr), "pccmos addr=0x%llx",
                      (long long)(X86_IO_BASE + 0x70));
                  device_add(machine, tmpstr);
-Line 3833 
 no_arc_prom_emulation:         /*  TODO: ugly,
+Line 4867 
 no_arc_prom_emulation:         /*  TODO: ugly,
                  /*  IDE controllers:  */
                  if (diskimage_exist(machine, 0, DISKIMAGE_IDE) ||
-                     diskimage_exist(machine, 1, DISKIMAGE_IDE))
+                     diskimage_exist(machine, 1, DISKIMAGE_IDE)) {
-                         dev_wdc_init(machine, mem, X86_IO_BASE + 0x1f0, 14, 0);
+                         snprintf(tmpstr, sizeof(tmpstr), "wdc addr=0x%llx irq=%i",
+                             X86_IO_BASE + 0x1f0, 14);
+                         device_add(machine, tmpstr);
+                 }
                  if (diskimage_exist(machine, 2, DISKIMAGE_IDE) ||
-                     diskimage_exist(machine, 3, DISKIMAGE_IDE))
+                     diskimage_exist(machine, 3, DISKIMAGE_IDE)) {
-                         dev_wdc_init(machine, mem, X86_IO_BASE + 0x170, 15, 2);
+                         snprintf(tmpstr, sizeof(tmpstr), "wdc addr=0x%llx irq=%i",
+                             X86_IO_BASE + 0x170, 15);
+                         device_add(machine, tmpstr);
+                 }
                  /*  Floppy controller at irq 6  */
-                 snprintf(tmpstr, sizeof(tmpstr) - 1, "fdc addr=0x%llx irq=6",
+                 snprintf(tmpstr, sizeof(tmpstr), "fdc addr=0x%llx irq=6",
                      (long long)(X86_IO_BASE + 0x3f0));
                  device_add(machine, tmpstr);
-Line 3849 
 no_arc_prom_emulation:         /*  TODO: ugly,
+Line 4889 
 no_arc_prom_emulation:         /*  TODO: ugly,
                  /*  TODO: parallel port  */
                  /*  Serial ports:  (TODO: 8250 for PC XT?)  */
-                 dev_ns16550_init(machine, mem, X86_IO_BASE + 0x3f8, 4, 1, 0, "com1");
-                 dev_ns16550_init(machine, mem, X86_IO_BASE + 0x378, 3, 1, 0, "com2");
+                 snprintf(tmpstr, sizeof(tmpstr), "ns16550 irq=4 addr=0x%llx name2=com1 in_use=0",
+                     (long long)X86_IO_BASE + 0x3f8);
+                 device_add(machine, tmpstr);
+                 snprintf(tmpstr, sizeof(tmpstr), "ns16550 irq=3 addr=0x%llx name2=com2 in_use=0",
+                     (long long)X86_IO_BASE + 0x2f8);
+                 device_add(machine, tmpstr);
                  /*  VGA + keyboard:  */
                  dev_vga_init(machine, mem, 0xa0000ULL, X86_IO_BASE + 0x3c0,
-Line 3869 
 no_arc_prom_emulation:         /*  TODO: ugly,
+Line 4914 
 no_arc_prom_emulation:         /*  TODO: ugly,
                              "-------------------------------------"
                              "------------------------------------------\n");
                  break;
+ #endif  /*  ENABLE_X86  */
          default:
                  fatal("Unknown emulation type %i\n", machine->machine_type);
-Line 3937 
 void machine_memsize_fix(struct machine
+Line 4983 
 void machine_memsize_fix(struct machine
                  case MACHINE_NETGEAR:
                          m->physical_ram_in_mb = 16;
                          break;
+                 case MACHINE_EVBMIPS:
+                         m->physical_ram_in_mb = 64;
+                         break;
+                 case MACHINE_PSP:
+                         /*
+                          *  According to
+                          *  http://wiki.ps2dev.org/psp:memory_map:
+                          *      0�08000000 = 8 MB kernel memory
+                          *      0�08800000 = 24 MB user memory
+                          */
+                         m->physical_ram_in_mb = 8 + 24;
+                         break;
                  case MACHINE_ARC:
                          switch (m->machine_subtype) {
                          case MACHINE_ARC_JAZZ_PICA:
-Line 3958 
 void machine_memsize_fix(struct machine
+Line 5016 
 void machine_memsize_fix(struct machine
                                  m->physical_ram_in_mb = 32;
                          }
                          break;
+                 case MACHINE_ALPHA:
+                         m->physical_ram_in_mb = 64;
+                         break;
                  case MACHINE_BEBOX:
                          m->physical_ram_in_mb = 64;
                          break;
-                 case MACHINE_BAREURISC:
+                 case MACHINE_CATS:
-                 case MACHINE_TESTURISC:
+                         m->physical_ram_in_mb = 64;
-                         m->physical_ram_in_mb = 2;
+                         break;
+                 case MACHINE_ZAURUS:
+                         m->physical_ram_in_mb = 64;
+                         break;
+                 case MACHINE_HPCARM:
+                         m->physical_ram_in_mb = 32;
+                         break;
+                 case MACHINE_NETWINDER:
+                         m->physical_ram_in_mb = 16;
                          break;
                  case MACHINE_X86:
                          if (m->machine_subtype == MACHINE_X86_XT)
-Line 4100 
 void machine_default_cputype(struct mach
+Line 5169 
 void machine_default_cputype(struct mach
                  if (m->cpu_name == NULL)
                          m->cpu_name = strdup("R4400");
                  break;
+         case MACHINE_EVBMIPS:
+                 switch (m->machine_subtype) {
+                 case MACHINE_EVBMIPS_MALTA:
+                 case MACHINE_EVBMIPS_MALTA_BE:
+                         m->cpu_name = strdup("5Kc");
+                         break;
+                 case MACHINE_EVBMIPS_PB1000:
+                         m->cpu_name = strdup("AU1000");
+                         break;
+                 default:fatal("Unimpl. evbmips.\n");
+                         exit(1);
+                 }
+                 break;
+         case MACHINE_PSP:
+                 m->cpu_name = strdup("Allegrex");
+                 break;
          /*  PowerPC:  */
          case MACHINE_BAREPPC:
-Line 4134 
 void machine_default_cputype(struct mach
+Line 5219 
 void machine_default_cputype(struct mach
          case MACHINE_MACPPC:
                  switch (m->machine_subtype) {
                  case MACHINE_MACPPC_G4:
-                         m->cpu_name = strdup("G4e");
+                         m->cpu_name = strdup("PPC750");
                          break;
                  case MACHINE_MACPPC_G5:
                          m->cpu_name = strdup("PPC970");
-Line 4145 
 void machine_default_cputype(struct mach
+Line 5230 
 void machine_default_cputype(struct mach
                  m->cpu_name = strdup("PPC750");
                  break;
-         /*  SPARC:  */
+         /*  SH:  */
-         case MACHINE_BARESPARC:
+         case MACHINE_BARESH:
-                 m->cpu_name = strdup("SPARCV9");
+         case MACHINE_TESTSH:
-                 break;
+         case MACHINE_HPCSH:
-         case MACHINE_ULTRA1:
+                 m->cpu_name = strdup("SH");
-                 m->cpu_name = strdup("SPARCV9");
-                 break;
-         /*  URISC:  */
-         case MACHINE_BAREURISC:
-         case MACHINE_TESTURISC:
-                 m->cpu_name = strdup("URISC");
                  break;
          /*  HPPA:  */
          case MACHINE_BAREHPPA:
          case MACHINE_TESTHPPA:
-                 m->cpu_name = strdup("HPPA2.0");
+                 m->cpu_name = strdup("HPPA");
+                 break;
+         /*  i960:  */
+         case MACHINE_BAREI960:
+         case MACHINE_TESTI960:
+                 m->cpu_name = strdup("i960");
+                 break;
+         /*  SPARC:  */
+         case MACHINE_BARESPARC:
+         case MACHINE_TESTSPARC:
+         case MACHINE_ULTRA1:
+                 m->cpu_name = strdup("SPARCv9");
                  break;
          /*  Alpha:  */
          case MACHINE_BAREALPHA:
          case MACHINE_TESTALPHA:
-                 m->cpu_name = strdup("EV4");
+         case MACHINE_ALPHA:
+                 m->cpu_name = strdup("Alpha");
                  break;
          /*  ARM:  */
          case MACHINE_BAREARM:
          case MACHINE_TESTARM:
-                 m->cpu_name = strdup("ARM");
+         case MACHINE_HPCARM:
+                 m->cpu_name = strdup("SA1110");
+                 break;
+         case MACHINE_IQ80321:
+         case MACHINE_IYONIX:
+                 m->cpu_name = strdup("80321_600_B0");
+                 break;
+         case MACHINE_CATS:
+         case MACHINE_NETWINDER:
+         case MACHINE_SHARK:
+                 m->cpu_name = strdup("SA110");
+                 break;
+         case MACHINE_ZAURUS:
+                 m->cpu_name = strdup("PXA210");
+                 break;
+         /*  AVR:  */
+         case MACHINE_BAREAVR:
+                 m->cpu_name = strdup("AVR");
+                 break;
+         /*  IA64:  */
+         case MACHINE_BAREIA64:
+         case MACHINE_TESTIA64:
+                 m->cpu_name = strdup("IA64");
+                 break;
+         /*  M68K:  */
+         case MACHINE_BAREM68K:
+         case MACHINE_TESTM68K:
+                 m->cpu_name = strdup("68020");
                  break;
          /*  x86:  */
-Line 4223 
 void machine_dumpinfo(struct machine *m)
+Line 5345 
 void machine_dumpinfo(struct machine *m)
          if (m->single_step_on_bad_addr)
                  debug("single-step on bad addresses\n");
-         if (m->bintrans_enable)
+         if (m->arch == ARCH_MIPS) {
-                 debug("bintrans enabled (%i MB cache)\n",
+                 if (m->bintrans_enable)
-                     (int) (m->bintrans_size / 1048576));
+                         debug("bintrans enabled (%i MB cache)\n",
-         else
+                             (int) (m->bintrans_size / 1048576));
-                 debug("bintrans disabled, other speedtricks %s\n",
+                 else
-                     m->speed_tricks? "enabled" : "disabled");
+                         debug("bintrans disabled, other speedtricks %s\n",
+                             m->speed_tricks? "enabled" : "disabled");
+         }
          debug("clock: ");
          if (m->automatic_clock_adjustment)
-Line 4415 
 void machine_list_available_types_and_cp
+Line 5539 
 void machine_list_available_types_and_cp
          debug("\n");
          useremul_list_emuls();
+         debug("Userland emulation works for programs with the complexity"
+             " of Hello World,\nbut not much more.\n");
  }
-Line 4433 
 void machine_init(void)
+Line 5559 
 void machine_init(void)
           *  entries will appear in normal order when listed.  :-)
           */
+         /*  Zaurus:  */
+         me = machine_entry_new("Zaurus (ARM)",
+             ARCH_ARM, MACHINE_ZAURUS, 1, 0);
+         me->aliases[0] = "zaurus";
+         if (cpu_family_ptr_by_number(ARCH_ARM) != NULL) {
+                 me->next = first_machine_entry; first_machine_entry = me;
+         }
          /*  X86 machine:  */
          me = machine_entry_new("x86-based PC", ARCH_X86,
              MACHINE_X86, 2, 2);
-Line 4456 
 void machine_init(void)
+Line 5590 
 void machine_init(void)
                  me->next = first_machine_entry; first_machine_entry = me;
          }
-         /*  Test-machine for URISC:  */
+         /*  Test-machine for SPARC:  */
-         me = machine_entry_new("Test-machine for URISC", ARCH_URISC,
+         me = machine_entry_new("Test-machine for SPARC", ARCH_SPARC,
-             MACHINE_TESTURISC, 1, 0);
+             MACHINE_TESTSPARC, 1, 0);
-         me->aliases[0] = "testurisc";
+         me->aliases[0] = "testsparc";
-         if (cpu_family_ptr_by_number(ARCH_URISC) != NULL) {
+         if (cpu_family_ptr_by_number(ARCH_SPARC) != NULL) {
+                 me->next = first_machine_entry; first_machine_entry = me;
+         }
+         /*  Test-machine for SH:  */
+         me = machine_entry_new("Test-machine for SH", ARCH_SH,
+             MACHINE_TESTSH, 1, 0);
+         me->aliases[0] = "testsh";
+         if (cpu_family_ptr_by_number(ARCH_SH) != NULL) {
                  me->next = first_machine_entry; first_machine_entry = me;
          }
-Line 4480 
 void machine_init(void)
+Line 5622 
 void machine_init(void)
                  me->next = first_machine_entry; first_machine_entry = me;
          }
+         /*  Test-machine for M68K:  */
+         me = machine_entry_new("Test-machine for M68K", ARCH_M68K,
+             MACHINE_TESTM68K, 1, 0);
+         me->aliases[0] = "testm68k";
+         if (cpu_family_ptr_by_number(ARCH_M68K) != NULL) {
+                 me->next = first_machine_entry; first_machine_entry = me;
+         }
+         /*  Test-machine for IA64:  */
+         me = machine_entry_new("Test-machine for IA64", ARCH_IA64,
+             MACHINE_TESTIA64, 1, 0);
+         me->aliases[0] = "testia64";
+         if (cpu_family_ptr_by_number(ARCH_IA64) != NULL) {
+                 me->next = first_machine_entry; first_machine_entry = me;
+         }
+         /*  Test-machine for i960:  */
+         me = machine_entry_new("Test-machine for i960", ARCH_I960,
+             MACHINE_TESTI960, 1, 0);
+         me->aliases[0] = "testi960";
+         if (cpu_family_ptr_by_number(ARCH_I960) != NULL) {
+                 me->next = first_machine_entry; first_machine_entry = me;
+         }
          /*  Test-machine for HPPA:  */
          me = machine_entry_new("Test-machine for HPPA", ARCH_HPPA,
              MACHINE_TESTHPPA, 1, 0);
-Line 4530 
 void machine_init(void)
+Line 5696 
 void machine_init(void)
          }
          /*  SGI:  */
-         me = machine_entry_new("SGI", ARCH_MIPS, MACHINE_SGI, 2, 9);
+         me = machine_entry_new("SGI", ARCH_MIPS, MACHINE_SGI, 2, 10);
          me->aliases[0] = "silicon graphics";
          me->aliases[1] = "sgi";
-         me->subtype[0] = machine_entry_subtype_new("IP19", 19, 1);
+         me->subtype[0] = machine_entry_subtype_new("IP12", 12, 1);
-         me->subtype[0]->aliases[0] = "ip19";
+         me->subtype[0]->aliases[0] = "ip12";
-         me->subtype[1] = machine_entry_subtype_new("IP20", 20, 1);
+         me->subtype[1] = machine_entry_subtype_new("IP19", 19, 1);
-         me->subtype[1]->aliases[0] = "ip20";
+         me->subtype[1]->aliases[0] = "ip19";
-         me->subtype[2] = machine_entry_subtype_new("IP22", 22, 2);
+         me->subtype[2] = machine_entry_subtype_new("IP20", 20, 1);
-         me->subtype[2]->aliases[0] = "ip22";
+         me->subtype[2]->aliases[0] = "ip20";
-         me->subtype[2]->aliases[1] = "indy";
+         me->subtype[3] = machine_entry_subtype_new("IP22", 22, 2);
-         me->subtype[3] = machine_entry_subtype_new("IP24", 24, 1);
+         me->subtype[3]->aliases[0] = "ip22";
-         me->subtype[3]->aliases[0] = "ip24";
+         me->subtype[3]->aliases[1] = "indy";
-         me->subtype[4] = machine_entry_subtype_new("IP27", 27, 3);
+         me->subtype[4] = machine_entry_subtype_new("IP24", 24, 1);
-         me->subtype[4]->aliases[0] = "ip27";
+         me->subtype[4]->aliases[0] = "ip24";
-         me->subtype[4]->aliases[1] = "origin 200";
+         me->subtype[5] = machine_entry_subtype_new("IP27", 27, 3);
-         me->subtype[4]->aliases[2] = "origin 2000";
+         me->subtype[5]->aliases[0] = "ip27";
-         me->subtype[5] = machine_entry_subtype_new("IP28", 28, 1);
+         me->subtype[5]->aliases[1] = "origin 200";
-         me->subtype[5]->aliases[0] = "ip28";
+         me->subtype[5]->aliases[2] = "origin 2000";
-         me->subtype[6] = machine_entry_subtype_new("IP30", 30, 2);
+         me->subtype[6] = machine_entry_subtype_new("IP28", 28, 1);
-         me->subtype[6]->aliases[0] = "ip30";
+         me->subtype[6]->aliases[0] = "ip28";
-         me->subtype[6]->aliases[1] = "octane";
+         me->subtype[7] = machine_entry_subtype_new("IP30", 30, 2);
-         me->subtype[7] = machine_entry_subtype_new("IP32", 32, 2);
+         me->subtype[7]->aliases[0] = "ip30";
-         me->subtype[7]->aliases[0] = "ip32";
+         me->subtype[7]->aliases[1] = "octane";
-         me->subtype[7]->aliases[1] = "o2";
+         me->subtype[8] = machine_entry_subtype_new("IP32", 32, 2);
-         me->subtype[8] = machine_entry_subtype_new("IP35", 35, 1);
+         me->subtype[8]->aliases[0] = "ip32";
-         me->subtype[8]->aliases[0] = "ip35";
+         me->subtype[8]->aliases[1] = "o2";
+         me->subtype[9] = machine_entry_subtype_new("IP35", 35, 1);
+         me->subtype[9]->aliases[0] = "ip35";
          if (cpu_family_ptr_by_number(ARCH_MIPS) != NULL) {
                  me->next = first_machine_entry; first_machine_entry = me;
          }
-Line 4568 
 void machine_init(void)
+Line 5736 
 void machine_init(void)
                  me->next = first_machine_entry; first_machine_entry = me;
          }
+         /*  Playstation Portable:  */
+         me = machine_entry_new("Playstation Portable", ARCH_MIPS,
+             MACHINE_PSP, 1, 0);
+         me->aliases[0] = "psp";
+         if (cpu_family_ptr_by_number(ARCH_MIPS) != NULL) {
+                 me->next = first_machine_entry; first_machine_entry = me;
+         }
+         /*  NetWinder:  */
+         me = machine_entry_new("NetWinder", ARCH_ARM, MACHINE_NETWINDER, 1, 0);
+         me->aliases[0] = "netwinder";
+         if (cpu_family_ptr_by_number(ARCH_ARM) != NULL) {
+                 me->next = first_machine_entry; first_machine_entry = me;
+         }
          /*  NetGear:  */
-         me = machine_entry_new("NetGear WG602", ARCH_MIPS,
+         me = machine_entry_new("NetGear WG602v1", ARCH_MIPS,
              MACHINE_NETGEAR, 2, 0);
          me->aliases[0] = "netgear";
-         me->aliases[1] = "wg602";
+         me->aliases[1] = "wg602v1";
          if (cpu_family_ptr_by_number(ARCH_MIPS) != NULL) {
                  me->next = first_machine_entry; first_machine_entry = me;
          }
-Line 4606 
 void machine_init(void)
+Line 5789 
 void machine_init(void)
                  me->next = first_machine_entry; first_machine_entry = me;
          }
+         /*  Iyonix:  */
+         me = machine_entry_new("Iyonix", ARCH_ARM,
+             MACHINE_IYONIX, 1, 0);
+         me->aliases[0] = "iyonix";
+         if (cpu_family_ptr_by_number(ARCH_ARM) != NULL) {
+                 me->next = first_machine_entry; first_machine_entry = me;
+         }
+         /*  Intel IQ80321 (ARM):  */
+         me = machine_entry_new("Intel IQ80321 (ARM)", ARCH_ARM,
+             MACHINE_IQ80321, 1, 0);
+         me->aliases[0] = "iq80321";
+         if (cpu_family_ptr_by_number(ARCH_ARM) != NULL) {
+                 me->next = first_machine_entry; first_machine_entry = me;
+         }
+         /*  HPCarm:  */
+         me = machine_entry_new("Handheld SH (HPCsh)",
+             ARCH_SH, MACHINE_HPCSH, 1, 2);
+         me->aliases[0] = "hpcsh";
+         me->subtype[0] = machine_entry_subtype_new("Jornada 680",
+             MACHINE_HPCSH_JORNADA680, 1);
+         me->subtype[0]->aliases[0] = "jornada680";
+         me->subtype[1] = machine_entry_subtype_new(
+             "Jornada 690", MACHINE_HPCSH_JORNADA690, 1);
+         me->subtype[1]->aliases[0] = "jornada690";
+         if (cpu_family_ptr_by_number(ARCH_SH) != NULL) {
+                 me->next = first_machine_entry; first_machine_entry = me;
+         }
          /*  HPCmips:  */
-         me = machine_entry_new("Handheld MIPS (HPC)",
+         me = machine_entry_new("Handheld MIPS (HPCmips)",
-             ARCH_MIPS, MACHINE_HPCMIPS, 2, 8);
+             ARCH_MIPS, MACHINE_HPCMIPS, 1, 8);
          me->aliases[0] = "hpcmips";
-         me->aliases[1] = "hpc";
          me->subtype[0] = machine_entry_subtype_new(
              "Casio Cassiopeia BE-300", MACHINE_HPCMIPS_CASIO_BE300, 2);
          me->subtype[0]->aliases[0] = "be-300";
-Line 4643 
 void machine_init(void)
+Line 5855 
 void machine_init(void)
                  me->next = first_machine_entry; first_machine_entry = me;
          }
+         /*  HPCarm:  */
+         me = machine_entry_new("Handheld ARM (HPCarm)",
+             ARCH_ARM, MACHINE_HPCARM, 1, 2);
+         me->aliases[0] = "hpcarm";
+         me->subtype[0] = machine_entry_subtype_new("Ipaq",
+             MACHINE_HPCARM_IPAQ, 1);
+         me->subtype[0]->aliases[0] = "ipaq";
+         me->subtype[1] = machine_entry_subtype_new(
+             "Jornada 720", MACHINE_HPCARM_JORNADA720, 1);
+         me->subtype[1]->aliases[0] = "jornada720";
+         if (cpu_family_ptr_by_number(ARCH_ARM) != NULL) {
+                 me->next = first_machine_entry; first_machine_entry = me;
+         }
          /*  Generic "bare" X86 machine:  */
          me = machine_entry_new("Generic \"bare\" X86 machine", ARCH_X86,
              MACHINE_BAREX86, 1, 0);
-Line 4651 
 void machine_init(void)
+Line 5877 
 void machine_init(void)
                  me->next = first_machine_entry; first_machine_entry = me;
          }
-         /*  Generic "bare" URISC machine:  */
-         me = machine_entry_new("Generic \"bare\" URISC machine", ARCH_URISC,
-             MACHINE_BAREURISC, 1, 0);
-         me->aliases[0] = "bareurisc";
-         if (cpu_family_ptr_by_number(ARCH_URISC) != NULL) {
-                 me->next = first_machine_entry; first_machine_entry = me;
-         }
          /*  Generic "bare" SPARC machine:  */
          me = machine_entry_new("Generic \"bare\" SPARC machine", ARCH_SPARC,
              MACHINE_BARESPARC, 1, 0);
-Line 4667 
 void machine_init(void)
+Line 5885 
 void machine_init(void)
                  me->next = first_machine_entry; first_machine_entry = me;
          }
+         /*  Generic "bare" SH machine:  */
+         me = machine_entry_new("Generic \"bare\" SH machine", ARCH_SH,
+             MACHINE_BARESH, 1, 0);
+         me->aliases[0] = "baresh";
+         if (cpu_family_ptr_by_number(ARCH_SH) != NULL) {
+                 me->next = first_machine_entry; first_machine_entry = me;
+         }
          /*  Generic "bare" PPC machine:  */
          me = machine_entry_new("Generic \"bare\" PPC machine", ARCH_PPC,
              MACHINE_BAREPPC, 1, 0);
-Line 4683 
 void machine_init(void)
+Line 5909 
 void machine_init(void)
                  me->next = first_machine_entry; first_machine_entry = me;
          }
+         /*  Generic "bare" M68K machine:  */
+         me = machine_entry_new("Generic \"bare\" M68K machine", ARCH_M68K,
+             MACHINE_BAREM68K, 1, 0);
+         me->aliases[0] = "barem68k";
+         if (cpu_family_ptr_by_number(ARCH_M68K) != NULL) {
+                 me->next = first_machine_entry; first_machine_entry = me;
+         }
+         /*  Generic "bare" IA64 machine:  */
+         me = machine_entry_new("Generic \"bare\" IA64 machine", ARCH_IA64,
+             MACHINE_BAREIA64, 1, 0);
+         me->aliases[0] = "bareia64";
+         if (cpu_family_ptr_by_number(ARCH_IA64) != NULL) {
+                 me->next = first_machine_entry; first_machine_entry = me;
+         }
+         /*  Generic "bare" i960 machine:  */
+         me = machine_entry_new("Generic \"bare\" i960 machine", ARCH_I960,
+             MACHINE_BAREI960, 1, 0);
+         me->aliases[0] = "barei960";
+         if (cpu_family_ptr_by_number(ARCH_I960) != NULL) {
+                 me->next = first_machine_entry; first_machine_entry = me;
+         }
          /*  Generic "bare" HPPA machine:  */
          me = machine_entry_new("Generic \"bare\" HPPA machine", ARCH_HPPA,
              MACHINE_BAREHPPA, 1, 0);
-Line 4691 
 void machine_init(void)
+Line 5941 
 void machine_init(void)
                  me->next = first_machine_entry; first_machine_entry = me;
          }
+         /*  Generic "bare" Atmel AVR machine:  */
+         me = machine_entry_new("Generic \"bare\" Atmel AVR machine", ARCH_AVR,
+             MACHINE_BAREAVR, 1, 0);
+         me->aliases[0] = "bareavr";
+         if (cpu_family_ptr_by_number(ARCH_AVR) != NULL) {
+                 me->next = first_machine_entry; first_machine_entry = me;
+         }
          /*  Generic "bare" ARM machine:  */
          me = machine_entry_new("Generic \"bare\" ARM machine", ARCH_ARM,
              MACHINE_BAREARM, 1, 0);
-Line 4707 
 void machine_init(void)
+Line 5965 
 void machine_init(void)
                  me->next = first_machine_entry; first_machine_entry = me;
          }
+         /*  Evaluation Boards (MALTA etc):  */
+         me = machine_entry_new("Evaluation boards (evbmips)", ARCH_MIPS,
+             MACHINE_EVBMIPS, 1, 3);
+         me->aliases[0] = "evbmips";
+         me->subtype[0] = machine_entry_subtype_new("Malta",
+             MACHINE_EVBMIPS_MALTA, 1);
+         me->subtype[0]->aliases[0] = "malta";
+         me->subtype[1] = machine_entry_subtype_new("Malta (Big-Endian)",
+             MACHINE_EVBMIPS_MALTA_BE, 1);
+         me->subtype[1]->aliases[0] = "maltabe";
+         me->subtype[2] = machine_entry_subtype_new("PB1000",
+             MACHINE_EVBMIPS_PB1000, 1);
+         me->subtype[2]->aliases[0] = "pb1000";
+         if (cpu_family_ptr_by_number(ARCH_MIPS) != NULL) {
+                 me->next = first_machine_entry; first_machine_entry = me;
+         }
+         /*  Digital DNARD ("Shark"):  */
+         me = machine_entry_new("Digital DNARD (\"Shark\")", ARCH_ARM,
+             MACHINE_SHARK, 2, 0);
+         me->aliases[0] = "shark";
+         me->aliases[1] = "dnard";
+         if (cpu_family_ptr_by_number(ARCH_ARM) != NULL) {
+                 me->next = first_machine_entry; first_machine_entry = me;
+         }
          /*  DECstation:  */
          me = machine_entry_new("DECstation/DECsystem",
              ARCH_MIPS, MACHINE_DEC, 3, 9);
-Line 4774 
 void machine_init(void)
+Line 6058 
 void machine_init(void)
                  me->next = first_machine_entry; first_machine_entry = me;
          }
+         /*  CATS (ARM) evaluation board:  */
+         me = machine_entry_new("CATS evaluation board (ARM)", ARCH_ARM,
+             MACHINE_CATS, 1, 0);
+         me->aliases[0] = "cats";
+         if (cpu_family_ptr_by_number(ARCH_ARM) != NULL) {
+                 me->next = first_machine_entry; first_machine_entry = me;
+         }
          /*  BeBox: (NetBSD/bebox)  */
          me = machine_entry_new("BeBox", ARCH_PPC, MACHINE_BEBOX, 1, 0);
          me->aliases[0] = "bebox";
-Line 4838 
 void machine_init(void)
+Line 6130 
 void machine_init(void)
          if (cpu_family_ptr_by_number(ARCH_MIPS) != NULL) {
                  me->next = first_machine_entry; first_machine_entry = me;
          }
+         /*  Alpha:  */
+         me = machine_entry_new("Alpha", ARCH_ALPHA, MACHINE_ALPHA, 1, 2);
+         me->aliases[0] = "alpha";
+         me->subtype[0] = machine_entry_subtype_new(
+             "DEC 3000/300", ST_DEC_3000_300, 1);
+         me->subtype[0]->aliases[0] = "3000/300";
+         me->subtype[1] = machine_entry_subtype_new(
+             "EB164", ST_EB164, 1);
+         me->subtype[1]->aliases[0] = "eb164";
+         if (cpu_family_ptr_by_number(ARCH_ALPHA) != NULL) {
+                 me->next = first_machine_entry; first_machine_entry = me;
+         }
  }

 Legend:



Removed from v.6
 


changed lines


 
Added in v.16
 Legend:



Removed from v.6
 


changed lines


 
Added in v.16
-Removed from v.6
+Added in v.16

	ViewVC Help
Powered by ViewVC 1.1.26