badline 0.17.0 → 0.18.0

data/lib/badline/pet/superpet.rb

@@ -0,0 +1,216 @@
+# frozen_string_literal: true
+
+require "badline/chips/acia"
+require "badline/chips/m6809"
+require "badline/pet/superpet/dongle"
+require "badline/pet/superpet/acia"
+require "badline/pet/superpet/board"
+require "badline/pet/superpet/m6809"
+require "badline/pet/superpet/waterloo_traps"
+require "badline/pet/superpet/keyed_parts"
+require "badline/pet/superpet/keyed_modules"
+
+module Badline
+  class PET
+    # The SuperPET, the SP9000 or MMF 9000: an 8032 with the University of
+    # Waterloo's board in its CPU socket, with 64K of bank RAM, a 6551
+    # ACIA, the 6702 and a 6809E (Board). The board's ACIA pulls the PET's
+    # IRQ line with the PIAs and the VIA. Its character ROM, 901640-01,
+    # holds the 8032's in its first half and an ASCII and an APL set in
+    # its second, which the CRTC's MA13 picks.
+    #
+    # Both CPUs sit on the same bus at the same 1 MHz, and one runs at a
+    # time: SW2, the CPU switch, picks it, or with SW2 at PROG bit 0 of the
+    # system latch. The one that takes the bus over starts from its RESET
+    # (Fachat: "The 6502 does a RESET after being switched on"; on the
+    # 324037 schematic one-shots gate the 6809's RES), and the other stops
+    # where it is. The PET's IRQ line, the ACIA's with it, reaches both.
+    #
+    # In 6809 mode device 8 answers through traps on the Waterloo ROM's
+    # IEEE-488 routines (WaterlooTraps) as well as the KERNAL's, from the
+    # same disk, or a true drive on the bus answers. type_text types
+    # through the Waterloo ROM's key buffer, in ASCII, once its menu is up.
+    class SuperPET < PET
+      # The Waterloo ROM's key buffer: its read and write pointers, and the
+      # ring of bytes they run round.
+      KEYS_READ = 0x012c
+      KEYS_WRITE = 0x012e
+      KEYS_FIRST = 0x0130
+      KEYS_END = 0x0158
+
+      # The cycle by which the 6809 has put up the Waterloo menu, with a
+      # margin.
+      WATERLOO_BOOT = 600_000
+
+      attr_reader :board, :acia, :dongle, :m6809
+
+      # The traps on the Waterloo ROM's IEEE-488 routines, while a disk is
+      # on device 8 (WaterlooTraps).
+      attr_reader :waterloo_traps
+
+      # +cpu+ is SW2's position and +bank_ram+ SW1's, as Board names them.
+      # The other arguments are the PET's for an 8032, its true drive's too.
+      def initialize(refresh_hz: 50, debug: false, basic: nil, editor: nil, cpu: "6502", bank_ram: "rw",
+                     true_drive_model: Drives::IEEEModels::DEFAULT)
+        raise ArgumentError, "the CPU switch has no position #{cpu}" unless Board::CPU_SWITCH.include?(cpu)
+
+        super(model: "superpet", refresh_hz:, debug:, basic:, editor:, true_drive_model:)
+        @acia_irq = false
+        @acia_due = Chips::ACIA::NEVER
+        @acia = ACIA.new(self, 1_000_000)
+        @dongle = Dongle.new(self)
+        @board = Board.new(@bus, dongle: @dongle, acia: @acia, keyboard_ports: @keyboard_ports, cpu_switch: cpu,
+                                 ram_switch: bank_ram, refresh_hz: @refresh_hz)
+        @m6809 = M6809.new(@bus)
+        @m6809_running = @board.m6809?
+        @waterloo_traps = nil
+        @board.on_select { cpu_selected }
+        @bus.fit_board(@board)
+        @init_threshold = WATERLOO_BOOT if @m6809_running
+      end
+
+      # Whether an autostart finds BASIC: not while the 6809 runs.
+      def boots_basic? = !@m6809_running
+
+      # Device 8 through the traps, for the Waterloo ROM's routines too.
+      def mount(storage)
+        trap = super
+        @waterloo_traps ||= WaterlooTraps.new(cpu: @m6809, bus: @bus, dos: @dos).install
+        @waterloo_traps.device = trap_device
+        trap
+      end
+
+      def unmount
+        super
+        @waterloo_traps&.uninstall
+        @waterloo_traps = nil
+      end
+
+      def attach_ieee_drive(drive)
+        super
+        @waterloo_traps&.device = trap_device
+      end
+
+      def detach_ieee_drive
+        super
+        @waterloo_traps&.device = trap_device
+      end
+
+      # Types into the Waterloo ROM's key buffer, in ASCII, while the 6809
+      # runs, and into the editor's otherwise.
+      def type_text(text)
+        return super unless @m6809_running
+
+        type_on_init(text.bytes)
+      end
+
+      # Whether the 6809 has the bus, rather than the 6502.
+      def m6809_running? = @m6809_running
+
+      def superpet? = true
+
+      # Moves the CPU switch to +position+, one of Board::CPU_SWITCH, and
+      # resets the machine, so the CPU the switch picks starts from its
+      # RESET.
+      def switch_cpu(position)
+        @board.cpu_switch = position
+        reset!
+      end
+
+      # Moves the bank RAM switch to +position+, one of Board::RAM_SWITCH.
+      def switch_bank_ram(position)
+        @board.ram_switch = position
+      end
+
+      # Whether the picture shows the character ROM's APL set: its second
+      # half, which the CRTC's MA13 picks, with VIA CA2 high.
+      def apl_characters? = @crtc.registers[12].anybits?(0x20) && @via.ca2_output
+
+      # Drive 1 while the 6809 runs, where the Waterloo menu's "disk/1."
+      # looks, and drive 0 in 6502 mode.
+      def disk_drive_number = @m6809_running ? 1 : 0
+
+      # The 32K below $8000 and the 64K board.
+      def model_label = "SUPERPET, 96K RAM, #{@refresh_hz} HZ"
+
+      # The PET's cycle, with the ACIA run when it falls due and its IRQ
+      # on the CPU's.
+      def cycle!
+        handle_init if @cycles == @init_threshold
+        feed_keyboard if @pending_keys
+
+        @crtc.cycle!
+        drive_retrace(!@crtc.vsync?)
+        @pia1.cycle!
+        @pia2.cycle!
+        @via.cycle!
+        @sound.cycle! if @sound.recording?
+        @cassettes.cycle! if @tapes_running
+        @acia.run!(@cycles) if @cycles >= @acia_due
+        irq = @pia1.irq? || @pia2.irq? || @via.irq? || @acia_irq
+        if @m6809_running
+          @m6809.irq = irq
+          @m6809.cycle!
+        else
+          @cpu.irq = irq
+          @cpu.cycle!
+        end
+        clock_ieee_drives
+
+        @cycles += 1
+      end
+
+      # Whether the ACIA pulls the IRQ line.
+      def acia_irq? = @acia_irq
+
+      # The ACIA's IRQ line, and the cycle it next has something to do at.
+      def acia_changed(irq, due)
+        @acia_irq = irq
+        @acia_due = due
+      end
+
+      # The RES line reaches the board's latches, the 6702, the ACIA and
+      # both CPUs too.
+      def reset!
+        super
+        @acia.reset!
+        @m6809.reset!
+        @board.reset!
+      end
+
+      def power_cycle!
+        @board.power_on!
+        super
+      end
+
+      private
+
+      # The Waterloo ROM's ring takes keys until its write pointer would
+      # meet its read pointer.
+      def feed_keyboard
+        return super unless @m6809_running
+
+        read = word_at(KEYS_READ)
+        write = word_at(KEYS_WRITE)
+        until @pending_keys.empty?
+          following = write + 1 == KEYS_END ? KEYS_FIRST : write + 1
+          break if following == read
+
+          @bus.poke(write, @pending_keys.shift)
+          write = following
+        end
+        @bus.poke(KEYS_WRITE, write >> 8)
+        @bus.poke(KEYS_WRITE + 1, write & 0xff)
+        @pending_keys = nil if @pending_keys.empty?
+      end
+
+      def word_at(addr) = (@bus.peek(addr) << 8) | @bus.peek(addr + 1)
+
+      # The CPU the board picks takes the bus over from its RESET.
+      def cpu_selected
+        @m6809_running = @board.m6809?
+        @m6809_running ? @m6809.reset! : @cpu.reset!
+      end
+    end
+  end
+end

data/lib/badline/pet.rb

@@ -83,10 +83,13 @@ module Badline
     # model runs its 50 Hz editor, or its 60 Hz one for +refresh_hz+ 60.
     # +basic+, +editor+ and +characters+ name ROMs the board takes in place
     # of its own (Model.upgraded, Model.fitted), and +jumpers+ the 8296's
-    # board jumpers (ROMSets::JUMPERS).
+    # board jumpers (ROMSets::JUMPERS). +true_drive_model+ names the drive
+    # plug_true_drive plugs in (Drives::IEEEModels).
     def initialize(model: Model::DEFAULT, ram_kb: nil, refresh_hz: 50, debug: false, basic: nil, editor: nil,
-                   characters: nil, jumpers: [])
+                   characters: nil, jumpers: [], true_drive_model: Drives::IEEEModels::DEFAULT)
       @model = Model.fitted(Model.upgraded(Model.named(model), basic, editor), characters)
+      raise ArgumentError, "the SuperPET is built as PET::SuperPET" if @model.superpet? && !superpet?
+
       ram_kb ||= @model.ram_kb
       raise ArgumentError, "the #{@model.name} has no #{ram_kb}K RAM board" unless Model.ram_fits?(@model, ram_kb)
 
@@ -99,6 +102,7 @@ module Badline
       matrix = @model.keyboard == :business ? KeyboardPorts::BUSINESS_MATRIX : KeyboardPorts::GRAPHICS_MATRIX
       @keyboard = Input::Keyboard.new(matrix:)
       keyboard_ports = KeyboardPorts.new(@keyboard)
+      @keyboard_ports = keyboard_ports
       registers = Array.new(Chips::CRTC::MASKS.length, 0)
       @pia1 = Chips::PIA.new(peripheral: keyboard_ports)
       @ieee = IEEEPorts.new(Drives::IEEEBus.new)
@@ -128,13 +132,23 @@ module Badline
       @cycles = 0
       @init_handlers = []
       @pending_keys = nil
+      @init_keys = nil
       @dos = nil
       @ieee_trap = nil
       @capture_output = nil
-      init_ieee_drives
+      init_ieee_drives(true_drive_model)
       @init_threshold = boot_cycles(ram_kb)
     end
 
+    # Whether this is the SuperPET's board (SuperPET).
+    def superpet? = false
+
+    # Whether the picture shows the SuperPET's APL characters.
+    def apl_characters? = false
+
+    # Whether an autostart finds BASIC to type into.
+    def boots_basic? = true
+
     # The vertical drive line, high but in the retrace.
     def vertical_drive? = @vertical_drive
 
@@ -253,3 +267,5 @@ module Badline
     end
   end
 end
+
+require "badline/pet/superpet"

data/lib/badline/plus4/keyed_state.rb

@@ -28,6 +28,7 @@ module Badline
         out.int("cycles", @cycles)
         pending = @pending_keys
         out.ints("host.pending_keys", pending) if pending
+        save_init_keys(out)
         out.int("host.init_pending", booting? ? @init_handlers.length : 0)
         out.text("host.true_drive_model", @true_drive_model)
       end
@@ -36,6 +37,7 @@ module Badline
         @cycles = input.int("cycles", @cycles)
         pending = input.ints("host.pending_keys", [])
         @pending_keys = pending.empty? ? nil : pending.dup
+        load_init_keys(input)
         @init_handlers_lost = [input.int("host.init_pending", 0) - @init_handlers.length, 0].max
         @true_drive_model = input.choice("host.true_drive_model", TCBMDrive::TRUE_DRIVE_MODELS, @true_drive_model)
       end

data/lib/badline/plus4.rb

@@ -144,6 +144,7 @@ module Badline
       @sound_mix = @sid_card ? SoundMix.new(@sound, @sid_card) : nil
       @init_handlers = []
       @pending_keys = nil
+      @init_keys = nil
       @dos = nil
       @serial_trap = nil
       @save_trap = nil

data/lib/badline/roms/README

@@ -128,6 +128,81 @@ https://www.zimmers.net/anonftp/pub/cbm/firmware/drives/old/8050/
 and named by the 8050's parts list
 (https://www.zimmers.net/anonftp/pub/cbm/schematics/drives/old/8050/parts.txt).
 
+1001/fdc-251257-02a.rom
+-----------------------
+The SFD-1001's floppy controller program, 251257-02A: the first 1 KB
+of the 2716 on its 6530 adaptor (251252-01), whose A10 is grounded, so
+the controller runs it from $FC00-$FFFF in place of the 6530's mask.
+Its interface processor runs 8050/dos-2.7.rom, the same 16 KB as
+901887-01 and 901888-01. Drives::Model1001 loads it.
+SHA-1 473664d405942865d46a6e723eb7d3f243584f7a (the whole 2 KB EPROM,
+SHA-1 3b954eb34f7ea088eed1d33ebc6d6e83a3e9be15).
+
+Downloaded from
+https://www.zimmers.net/anonftp/pub/cbm/firmware/drives/old/1001/251257-02A.bin
+
+4040/dos-1.2.rom
+----------------
+The 2040's DOS 1.2, the 3040's with DOS 1, 8 KB for the interface
+processor's $E000-$FFFF: 901468-06 ($E000-$EFFF, SHA-1
+4d9658f2e6ff3276e5c6e224611a66ce44b16fc7) followed by 901468-07
+($F000-$FFFF, SHA-1 6a51c7954938439ca8342fc295bda050c06e1791). No DOS
+1.0 image is public, so both DOS 1 units run it, as xpet's 2040 does.
+Drives::Model2040 loads it.
+SHA-1 e37b3bfd801eb19dea50cf8b4a6af8613c3520d3.
+
+4040/fdc-901466-02.rom
+----------------------
+The 6530 of the DOS 1 floppy controller, 901466-02, the same 1 KB as
+901466-01, run from $FC00-$FFFF.
+SHA-1 d539858f839f96393f218307df7394362a84a26a.
+
+4040/dos-2.1.rom
+----------------
+DOS 2.1, 12 KB for the interface processor's $D000-$FFFF: 901468-11
+($D000, SHA-1 8415f3159dea73161e0cef7960afa6c76953b6f8), 901468-12
+($E000, SHA-1 e8a94f239082d45f64f01b2d8e488d18fe659cbb) and 901468-13
+($F000, SHA-1 6ada7904ac9d13c3f1c0a8715f9c4be1aa6eb0bb). xpet's 3040
+runs it, and so does Drives::Model3040.
+SHA-1 02bd4b0c8508b3874b95799a9a63caf369c837de.
+
+4040/dos-2.1-rev.rom
+--------------------
+The revised DOS 2.1, 12 KB for $D000-$FFFF: 901468-14 ($D000, SHA-1
+ffb992b82ec913ddff7be964d7527aca3e21580c), 901468-15 ($E000, SHA-1
+f702d6917fe8a798740ba4d467b500944ae7b70a) and 901468-16 ($F000, SHA-1
+04b918cf4adeee8015b43383d3cea7288a7d0aa8). xpet's 4040 runs it, and
+so does Drives::Model4040.
+SHA-1 245abbe76581558d270cdbb6fe55f56748403d8e.
+
+4040/fdc-901466-04.rom
+----------------------
+The 6530 of the DOS 2.1 floppy controller, 901466-04, run from
+$FC00-$FFFF under both DOS 2.1 sets.
+SHA-1 6645fa40b81be1ff7d1384e9b52df06a26ab0bfb.
+
+All downloaded from
+https://www.zimmers.net/anonftp/pub/cbm/firmware/drives/old/4040/
+and concatenated in address order.
+
+9060/dos-3.0.rom
+----------------
+The D9060's and D9090's DOS 3.0, 16 KB for the interface processor's
+$C000-$FFFF: 300516 rev C ($C000-$DFFF, SHA-1
+bb1ddb5da94a86266012eca54818aa21dc4cef6a) followed by 300517 rev C
+($E000-$FFFF, SHA-1 4c17d014de48c906871b9b6c7d037d8736b1fd52), the set
+xpet's 9000 runs.
+SHA-1 c48df2cbb0eea656c3243df7ea8bfefcd171b8e8.
+
+9060/sasi-300515-revb.rom
+-------------------------
+The program of the D9060's and D9090's SASI host processor, 300515
+rev B, 2 KB for $F800-$FFFF.
+SHA-1 59dafbd4855083074ba8dc96a04d4daa5b76e0d6.
+
+Both downloaded from
+https://www.zimmers.net/anonftp/pub/cbm/firmware/drives/old/9090/
+
 Commodore VIC-20 ROMs
 =====================
 
@@ -377,6 +452,66 @@ the German letters and the section sign in place of @ [ \ ] and in
 some of the graphics. The CRTC's MA13, bit 5 of R12, picks the half.
 SHA-1 9616f7f18757cccefb702a945f954b644d5b17d1.
 
+Commodore SuperPET ROMs
+=======================
+
+Downloaded from
+https://www.zimmers.net/anonftp/pub/cbm/firmware/computers/pet/SuperPET/
+The Waterloo 6809 firmware, as the two-board SuperPET's three 2764s hold
+it. The three-board SuperPET's 2532s and 2516 hold the same bytes, and
+each file below names them. In 6502 mode the SuperPET runs the 8032's
+ROMs above. Nothing maps these yet.
+
+pet/superpet-a000.rom
+---------------------
+The Waterloo ROM for $A000-$BFFF, 970018-12
+(waterloo-a000-bfff.970018-12.bin): 901898-01
+(waterloo-a000.901898-01.bin, SHA-1
+0414b3ab847c8977eb05c2fcc72efcf2f9d92871) followed by 901898-02
+(waterloo-b000.901898-02.bin, SHA-1
+df154939b934d0aeeb376813ec1ba0d43c2a3378).
+SHA-1 dcd18397dd2a691118aaacf2b087d08e3782f81a.
+
+pet/superpet-c000.rom
+---------------------
+The Waterloo ROM for $C000-$DFFF, 970019-12
+(waterloo-c000-dfff.970019-12.bin): 901898-03
+(waterloo-c000.901898-03.bin, SHA-1
+6c5b0cce97068f8841112ba6d5cd8e568b562fa3) followed by 901898-04
+(waterloo-d000.901898-04.bin, SHA-1
+b42a2050a319a1ffca7868a8d8d635fadd37ec37).
+SHA-1 3ac4b9ae895c45630d10cfc9079f5dcbce5eb48e.
+
+pet/superpet-e000.rom
+---------------------
+The Waterloo ROM for $E000-$FFFF, 970020-12
+(waterloo-e000-ffff.970020-12.bin), with the 60 Hz CRTC table: 901897-01
+(waterloo-e000.901897-01.bin, SHA-1
+e8ce8347451a001214a5e71a13081b38b4be23bc) for $E000-$E7FF, 2K of $FF
+where the I/O page sits, and 901898-05 (waterloo-f000.901898-05.bin,
+SHA-1 9b4a5134d20345171e7303445f87c4e0b9addc96) for $F000-$FFFF, which
+ends in the 6809's vectors.
+SHA-1 618992fe0046b670695f5b1d1c168ace9e6b8470.
+
+pet/superpet-e000-50hz.rom
+--------------------------
+The 50 Hz Waterloo ROM for $E000-$FFFF, 970034-12
+(waterloo-e000-ffff-970034-12.bin, from Christian Forstreuter's MMF
+9000, U49). Its $E000-$E7FF is the 50 Hz 901897-01
+(waterloo-e000.901897-x.50Hz.bin, SHA-1
+57f8c3ef305768d9cba9a96d3f7b90d4a3c2daa4), which differs from the 60 Hz
+one in three bytes of the CRTC table, $E0C2, $E0C3 and $E0C5, and the
+rest is superpet-e000.rom's.
+SHA-1 ef6c5e5e9be17b87faed43cf0007f98731d78384.
+
+pet/characters-superpet.rom
+---------------------------
+The SuperPET's 4K character generator, 901640-01
+(characters.901640-01.bin). Its first half is 901447-10 byte for byte,
+and its second holds an ASCII and an APL set. The CRTC's MA13, bit 5 of
+R12, picks the half.
+SHA-1 bf346f11595a3e65e55d6aeeaa2c0cec807b66c7.
+
 Commodore CBM-II ROMs
 =====================
 
@@ -459,3 +594,34 @@ p500-basic-hi.901235-02.bin, SHA-1
 1b9a55f12f8cf025754d8029cc5324b474c35841) concatenated, for
 $8000-$BFFF in segment 15.
 SHA-1 e69531d45f5993f8e53c6bd9ab2a7bc10fe2d02f.
+
+MOS KIM-1 ROMs
+==============
+
+Downloaded from
+https://www.zimmers.net/anonftp/pub/cbm/firmware/computers/kim1/
+The files there are the monitor listing assembled with $FF in the
+unused bytes. Real 6530-002 and 6530-003 chips have $00 there, as Hans
+Otten found dumping his own
+(http://retro.hansotten.nl/6502-sbc/kim-1-manuals-and-software/kim_1-roms/),
+so badline zeroes those bytes and keeps the code as it is. Only a
+program that reads unused ROM sees the difference.
+
+kim1/6530-002.rom
+-----------------
+The mask ROM of the 6530-002, U2: the monitor, for $1C00-$1FFF, its
+keypad and display routines, the teletype's and the 6502's vectors.
+6530-002.bin from zimmers.net, SHA-1
+054f7f6989af3a59462ffb0372b6f56f307b5362, with the three bytes at
+$1FF7-$1FF9 zeroed. The result is Otten's dump of a real chip,
+6530-002 fillerbyte00.bin.
+SHA-1 d0b5ceb279303cad219d6609d7db03a120f59ab8.
+
+kim1/6530-003.rom
+-----------------
+The mask ROM of the 6530-003, U3: the cassette routines, for
+$1800-$1BFF. 6530-003.bin from zimmers.net, SHA-1
+60b6e48f35fe4899e29166641bac3e81e3b9d220, with the 356 bytes at
+$1A96-$1BF9 zeroed. The result is Otten's dump of a real chip,
+6530-003 fillerbyte00.bin.
+SHA-1 16caaf9d4c8327e0d3198887499fe30056df3084.

data/lib/badline/snapshot/container.rb

@@ -42,6 +42,8 @@ module Badline
       CBM2 = "CBM-II"
       # xcbm5x0 names its machine CBM-II-5x0, the P500.
       CBM2_5X0 = "CBM-II-5x0"
+      # VICE has no KIM-1, so badline names it.
+      KIM1 = "KIM1"
       # The file format version each machine's VICE emulator reads, where
       # it isn't FORMAT_MAJOR.0: xpet and xcbm2 refuse any other than 1.0, and
       # xcbm5x0 writes 0.0.

data/lib/badline/snapshot/field_doc/markdown.rb

@@ -8,7 +8,7 @@ module Badline
       # voice1 to voice3, on one row.
       class Markdown
         NAMES = { "c64" => "C64", "vic20" => "VIC-20", "c128" => "C128", "plus4" => "Plus/4", "pet" => "PET",
-                  "cbm2" => "CBM-II" }.freeze
+                  "cbm2" => "CBM-II", "kim1" => "KIM-1" }.freeze
         TAG_TYPES = { Keyed::INT => "int", Keyed::BOOL => "bool", Keyed::BYTES => "bytes", Keyed::INTS => "ints",
                       Keyed::TEXT => "text" }.freeze
 

data/lib/badline/snapshot/field_doc.rb

@@ -39,9 +39,11 @@ module Badline
       # the 264 series' models, its TCBM interface, cartridge, tape and
       # true drives, the 1541 and the 1551, a CRTC PET, a 2001, an 8096,
       # an 8296 with its user port jumpered, a PET with a disk and tapes and
-      # one with a true 2031, one with an 8050 and one with an 8250, and a
-      # 610, a 720, a 610 with a cartridge and one with a disk, and a PAL
-      # and an NTSC 510.
+      # one with a true 2031, one with an 8050, one with an 8250, one with
+      # a 4040 and one with a D9060, a SuperPET in 6809 mode with a disk in
+      # device 8, and a 610, a 720, a 610 with a cartridge and one with a
+      # disk, a PAL and an NTSC 510, and a KIM-1 on its keypad and one
+      # expanded, on a teletype.
       def self.machines
         {
           "c64" => [C64.new, C64.new(ram_expansion: :plus256k), C64.new(reu: 512),
@@ -55,9 +57,11 @@ module Badline
                       plus4_with_cartridge, plus4_with_tape, plus4_with_drive, plus4_with_drive("1551")],
           "pet" => [PET.new, PET.new(model: "2001"), PET.new(model: "8096"),
                     PET.new(model: "8296", characters: "din", jumpers: %w[userport]), pet_with_media,
-                    pet_with_drive, pet_with_unit("8050"), pet_with_unit("8250")],
+                    pet_with_drive, pet_with_unit("8050"), pet_with_unit("8250"), pet_with_dos2_unit,
+                    pet_with_hard_disk, superpet_with_disk],
           "cbm2" => [CBM2.new, CBM2.new(model: "720", kernal: "03b", mains_hz: 60), cbm2_with_cartridge,
-                     cbm2_with_disk, CBM2::P500.new, CBM2::P500.new(model: "510ntsc")]
+                     cbm2_with_disk, CBM2::P500.new, CBM2::P500.new(model: "510ntsc")],
+          "kim1" => [KIM1.new, KIM1.new(tty: true, ram: :expanded)]
         }
       end
 
@@ -72,6 +76,14 @@ module Badline
         end
       end
 
+      # A SuperPET with its CPU switch at 6809 and a disk in device 8
+      # through the traps.
+      def self.superpet_with_disk
+        PET::SuperPET.new(cpu: "6809").tap do |machine|
+          machine.mount(Storage::D64Image.new("", read_only: true, bytes: blank(174_848)))
+        end
+      end
+
       # A PET with a 2031 holding a blank disk.
       def self.pet_with_drive
         PET.new.tap do |machine|
@@ -87,9 +99,18 @@ module Badline
                 else
                   Storage::D80Image.new("", bytes: blank(533_248))
                 end
-        PET.new.tap { |machine| machine.plug_drive8050(model).insert(Drives::Model8050::Disk.new(image)) }
+        PET.new.tap { |machine| machine.plug_ieee_drive(model).insert(Drives::Model8050::Disk.new(image)) }
       end
 
+      # A PET with a 4040 holding a blank disk in drive 0.
+      def self.pet_with_dos2_unit
+        image = Storage::D64Image.new("", bytes: blank(174_848))
+        PET.new.tap { |machine| machine.plug_ieee_drive("4040").insert(Drives::Model4040::Disk.new(image)) }
+      end
+
+      # A PET with a D9060 and no hard disk in it.
+      def self.pet_with_hard_disk = PET.new.tap { |machine| machine.plug_ieee_drive("9060") }
+
       def self.blank(length) = Array.new(length, 0)
 
       # A 610 with a disk in device 8 through the traps.

data/lib/badline/snapshot/image.rb

@@ -35,7 +35,7 @@ module Badline
     class Image
       MACHINE = "BL-MACHINE"
       FAMILIES = { "c64" => "C64", "vic20" => "VIC-20", "c128" => "C128", "plus4" => "Plus/4", "pet" => "PET",
-                   "cbm2" => "CBM-II" }.freeze
+                   "cbm2" => "CBM-II", "kim1" => "KIM-1" }.freeze
 
       # The snapshots VICE's emulators write that badline doesn't read, by
       # the machine their container names.
@@ -67,6 +67,7 @@ module Badline
       # snapshots badline doesn't write for xplus4.
       def self.exported(computer)
         raise FormatError, "badline doesn't export a Plus/4's snapshot for VICE" if computer.family == :plus4
+        raise FormatError, "VICE has no KIM-1 to open a snapshot of one" if computer.family == :kim1
 
         computer.settle_for_vice!
         sections = computer.save_modules
@@ -101,6 +102,7 @@ module Badline
         when :plus4 then Container::PLUS4
         when :pet then Container::PET
         when :cbm2 then computer.is_a?(CBM2::P500) ? Container::CBM2_5X0 : Container::CBM2
+        when :kim1 then Container::KIM1
         else Container::MACHINE
         end
       end
@@ -114,6 +116,7 @@ module Badline
         when "plus4" then Plus4Setup.read_fields(machine)
         when "pet" then PETSetup.read_fields(machine)
         when "cbm2" then CBM2Setup.read_fields(machine)
+        when "kim1" then KIM1Setup.read_fields(machine)
         else C64Setup.read_fields(machine)
         end
       end

data/lib/badline/snapshot/kim1_setup.rb

@@ -0,0 +1,28 @@
+# frozen_string_literal: true
+
+module Badline
+  module Snapshot
+    # How a KIM-1 was built: its RAM, one of KIM1::Bus::RAM_CONFIGURATIONS
+    # by name, the argument KIM1.new takes. The ROMs are the board's own.
+    KIM1Setup = Data.define(:ram)
+
+    class KIM1Setup
+      RAM = KIM1::Bus::RAM_CONFIGURATIONS.map(&:to_s).freeze
+
+      # The setup of `machine`.
+      def self.of(machine) = new(ram: machine.bus.ram_configuration.to_s)
+
+      # The RAM by name, in a keyed snapshot module.
+      def write_fields(out)
+        out.text("ram", ram)
+      end
+
+      def self.read_fields(input) = new(ram: input.choice("ram", RAM, "1k"))
+
+      # A machine built this way, at power-on.
+      def build = KIM1.new(ram: ram.to_sym)
+
+      def to_s = "KIM-1 with #{ram == 'expanded' ? 'expanded' : ram.upcase} RAM"
+    end
+  end
+end