badline 0.15.0 → 0.16.0

data/lib/badline/plus4.rb

@@ -2,6 +2,7 @@
 
 require "badline/chips/ted"
 require "badline/chips/tia"
+require "badline/drives/model1551"
 require "badline/plus4/model"
 require "badline/plus4/cpu"
 require "badline/plus4/cpu_port"
@@ -9,7 +10,11 @@ require "badline/plus4/keyboard_port"
 require "badline/plus4/user_port"
 require "badline/plus4/cassette_sense"
 require "badline/plus4/acia"
+require "badline/plus4/sid_card"
+require "badline/plus4/sound_mix"
+require "badline/plus4/ram_expansion"
 require "badline/plus4/bus"
+require "badline/plus4/tcbm_drive"
 require "badline/snapshot/plus4_setup"
 require "badline/plus4/keyed_parts"
 require "badline/plus4/keyed_state"
@@ -19,20 +24,31 @@ module Badline
   # The Commodore 264 series: the Plus/4, the C16 and the C116. A 7501 on
   # the TED's clock, which runs it once or twice a TED cycle (Chips::TED's
   # Beam), the TED and, on the Plus/4, a 6551 ACIA and the user port's
-  # 6529. Only the TED pulls IRQ, and nothing pulls NMI, which the 7501
-  # doesn't have.
+  # 6529. The TED and the ACIA pull IRQ, and nothing pulls NMI, which the
+  # 7501 doesn't have.
   #
   # The TED paints the picture a front end shows (#video, #timing). Device 8
   # serves disks through the KERNAL traps (C64::KernalTraps), or a true
-  # 1541 or 1581 on the serial bus does (C64::TrueDrives), cartridges go
+  # 1541 or 1581 on the serial bus or a 1551 on TCBM does (TCBMDrive),
+  # cartridges go
   # in the two cartridges' slots, and tapes play on the datasette, whose read
   # line's level the KERNAL times with the TED's timers.
+  #
+  # A SID card, as third parties built for the 264s, puts a SID at
+  # $FD40-$FD5F, or at $FE80-$FE9F as Csory's does. The cards clock it from the TED's single clock, one SID
+  # cycle a TED cycle, 886,724 Hz on PAL, below the C64's 985,248 Hz, so a
+  # C64 tune plays about a semitone flat (plus4world forum threads 38287
+  # and 20130).
+  #
+  # A RAM expansion, Hannes's 256K or 1M or Csory's 256K, banks more RAM
+  # in through a register at $FD16 (RAMExpansion).
   class Plus4
     include IntegerHelper
     include Machine::KeyboardBuffer
     include Machine::Clocking
     include Machine::Settling
     include C64::TrueDrives
+    include TCBMDrive
     include C64::KernalTraps
 
     # The cycle by which the KERNAL has booted and BASIC printed READY,
@@ -46,7 +62,7 @@ module Badline
     DRIVE_BOOT_CYCLES = 1_200_000
 
     attr_reader :model, :bus, :cpu, :ted, :sound, :port, :keyboard, :keyboard_port, :joystick1, :joystick2, :acia,
-                :user_port, :datasette, :tias, :iec_bus, :cycles, :ram_kb, :drive1541, :init_threshold
+                :user_port, :datasette, :tias, :iec_bus, :cycles, :ram_kb, :drive1541, :init_threshold, :sid_card
 
     def family = :plus4
 
@@ -57,8 +73,8 @@ module Badline
     def ram = @bus.ram
 
     # What a front end plays: the TED's sound, which answers #record and
-    # #drain_samples.
-    def sound_source = @sound
+    # #drain_samples, mixed with the SID card's where one is fitted.
+    def sound_source = @sound_mix || @sound
 
     # The chip whose #display a front end shows.
     def video = @ted
@@ -73,7 +89,7 @@ module Badline
       ntsc = profile == Chips::TED::NTSC
       Timing.new(clock_hz: profile.clock_hz, cycles_per_line: Chips::TED::Beam::CYCLES_PER_LINE,
                  lines_per_frame: ntsc ? 262 : 312, crop: ntsc ? [0, 248, 384, 242] : [0, 276, 384, 288],
-                 pixel_width: 1)
+                 pixel_width: 1, dots: 1)
     end
 
     # Reads and writes memory as the CPU sees it, through the bus.
@@ -84,11 +100,16 @@ module Badline
     # +model+ names one of Model::ALL, or c116 for the C16, and +ram+ the
     # RAM in K, one of Model::RAM_SIZES, when not the model's own. +tcbm+
     # plugs in a 1551's TCBM interface, the TIAs at $FEC0-$FEFF, with no
-    # drive answering on the other side.
-    def initialize(model: "plus4", ram: nil, tcbm: false, debug: false)
+    # drive answering on the other side. +true_drive_model+ names the drive
+    # plug_true_drive plugs in, "1541" or "1551". +sid_card+ fits a SID
+    # card with a SID of that model, :mos6581 or :mos8580, at
+    # +sid_card_address+, $FD40 or $FE80. +ram_expansion+
+    # fits a RAMExpansion of that kind, :hannes256, :hannes1m or
+    # :csory256, over 64K of the machine's own.
+    def initialize(model: "plus4", ram: nil, tcbm: false, true_drive_model: "1551", sid_card: nil,
+                   sid_card_address: SIDCard::ADDRESSES.first, ram_expansion: nil, debug: false)
       @model = Model.named(model)
-      @ram_kb = ram || @model.ram_kb
-      raise ArgumentError, "no Plus/4 RAM size of #{@ram_kb}K" unless Model::RAM_SIZES.include?(@ram_kb)
+      @ram_kb = fitted_ram(ram, ram_expansion)
 
       @ted = Chips::TED.new(@model.ted)
       @keyboard = Input::Keyboard.new(matrix: KeyboardPort::MATRIX)
@@ -100,39 +121,45 @@ module Badline
       @datasette = Drives::Datasette.new(level: true)
       @port = CPUPort.new(serial_bus: @iec_bus, datasette: @datasette)
       plus4_parts = @model.plus4_parts
-      @acia = plus4_parts ? ACIA.new : nil
+      @cycles = 0
+      @init_threshold = INIT_THRESHOLD
+      @acia_irq = false
+      @acia_due = ACIA::NEVER
+      @due = INIT_THRESHOLD
+      @sid_card = sid_card ? SIDCard.new(self, sid_card, sid_card_address) : nil
+      @acia = plus4_parts ? ACIA.new(self, @model.ted.clock_hz) : nil
       @user_port = plus4_parts ? UserPort.new(@datasette) : nil
       io = Bus::IOPage.new(keyboard_port: @keyboard_port, acia: @acia, user_port: @user_port,
-                           cassette_sense: plus4_parts ? nil : CassetteSense.new(@datasette))
-      @bus = Bus.new(ted: @ted, port: @port, io:, model: @model, ram_kb: @ram_kb)
+                           cassette_sense: plus4_parts ? nil : CassetteSense.new(@datasette),
+                           sid_card: sid_card_at(0xfd40))
+      @bus = Bus.new(ted: @ted, port: @port, io:, model: @model, ram_kb: @ram_kb, ram_expansion:)
       @ted.connect(@bus)
+      @bus.plug_sid_card(sid_card_at(0xfe80))
       @tias = tcbm ? [Chips::TIA.new, Chips::TIA.new] : []
       @bus.plug_tcbm(drive8: @tias[0], drive9: @tias[1]) if tcbm
       @cpu = CPU.new(@bus, debug:)
-      @cycles = 0
       @sound = Chips::TED::Sound.new(self, @model.ted.clock_hz)
       @ted.sound = @sound
+      @sound_mix = @sid_card ? SoundMix.new(@sound, @sid_card) : nil
       @init_handlers = []
       @pending_keys = nil
       @dos = nil
       @serial_trap = nil
       @save_trap = nil
       @capture_output = nil
-      @drive1541 = nil
-      @drive1581 = nil
-      @init_threshold = INIT_THRESHOLD
+      init_drives(true_drive_model)
     end
 
     # One TED cycle: the TED moves on and decides the CPU's clock, then the
     # CPU runs its cycles in it, none while the TED holds the bus.
     def cycle!
-      handle_init if @cycles == @init_threshold
+      handle_due if @cycles >= @due
       feed_keyboard if @pending_keys
 
       ted = @ted
       ted.cycle!
       @datasette.cycle!
-      @cpu.irq = ted.irq?
+      @cpu.irq = ted.irq? || @acia_irq
       slots = ted.cpu_slots
       if slots.zero?
         @cpu.stall!
@@ -142,13 +169,15 @@ module Badline
       end
       @drive1541&.host_cycle!
       @drive1581&.host_cycle!
+      @drive1551&.host_cycle!
 
       @cycles += 1
     end
 
     # The RESET line: the CPU, the port, the 6529s, the ACIA, the bank
-    # latch and ROM selection, and through the serial bus's RESET line, the
-    # drives. The TED has no reset pin.
+    # latch and ROM selection, a RAM expansion's register, the SID card,
+    # and through the serial bus's RESET line, the drives. The TED has no
+    # reset pin.
     def reset!
       @port.reset!
       @keyboard_port.reset!
@@ -156,7 +185,9 @@ module Badline
       @dos&.reset!
       @drive1541&.reset!
       @drive1581&.reset!
+      @drive1551&.reset!
       @acia&.reset!
+      @sid_card&.reset!
       @tias.each(&:reset!)
       @bus.reset!
       @cpu.reset!
@@ -171,6 +202,13 @@ module Badline
       reset!
     end
 
+    # 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
+      schedule
+    end
+
     # Calls the block with the exit code a VICE testprog writes to $FDCF.
     def install_debug_register(&) = @bus.install_debug_register(&)
 
@@ -201,6 +239,18 @@ module Badline
       "#{name} #{standard}, #{@ram_kb}K RAM"
     end
 
+    # The RAMExpansion fitted, or nil.
+    def ram_expansion = @bus.ram_expansion
+
+    # The RAM expansion as the pause menu names it, such as "HANNES, 256
+    # KB", or nil without one.
+    def ram_expansion_label
+      expansion = @bus.ram_expansion
+      return if expansion.nil?
+
+      "#{RAMExpansion::NAMES.fetch(expansion.kind)}, #{expansion.size_kb} KB"
+    end
+
     # Stores a PRG's bytes from its load address on, into RAM, and returns
     # that address.
     def load_prg(data)
@@ -213,6 +263,22 @@ module Badline
 
     private
 
+    # The SID card if it is at +address+, or nil.
+    def sid_card_at(address)
+      card = @sid_card
+      card if card && card.address == address
+    end
+
+    # The RAM in K: +ram+, or the model's own, or 64K under a RAM
+    # expansion, which needs that much.
+    def fitted_ram(ram, ram_expansion)
+      ram_kb = ram || (ram_expansion ? 64 : @model.ram_kb)
+      raise ArgumentError, "no Plus/4 RAM size of #{ram_kb}K" unless Model::RAM_SIZES.include?(ram_kb)
+      raise ArgumentError, "a RAM expansion needs 64K, not #{ram_kb}K" if ram_expansion && ram_kb != 64
+
+      ram_kb
+    end
+
     # The 264 KERNAL's keyboard buffer.
     def keyboard_buffer = Machine::KeyboardBuffer::PLUS4_LAYOUT
 
@@ -232,6 +298,22 @@ module Badline
       @init_threshold = [@init_threshold, Drives::Model1581::BOOT_CYCLES].max if @cycles < @init_threshold
     end
 
+    # What falls due at the start of a cycle: the on_init handlers at the
+    # init threshold, and the ACIA's next character.
+    def handle_due
+      handle_init if @cycles == @init_threshold
+      acia = @acia
+      acia.run!(@cycles) if acia && @cycles >= @acia_due
+      schedule
+    end
+
+    # The next cycle anything falls due at. A drive that raises the init
+    # threshold leaves it early, and handle_due looks again then.
+    def schedule
+      init = @cycles < @init_threshold ? @init_threshold : ACIA::NEVER
+      @due = [@acia_due, init].min
+    end
+
     # BA stops the CPU at a read, and a write goes ahead.
     def clock_cpu(ted)
       ted.ba_low? && !@cpu.pending_write? ? @cpu.stall! : @cpu.cycle!

data/lib/badline/roms/README

@@ -79,6 +79,15 @@ Downloaded from
 https://www.zimmers.net/anonftp/pub/cbm/firmware/drives/new/1581/1581-rom.318045-02.bin
 SHA-1 01228eae6f066bd9b7b2b6a7fa3f667e41dad393.
 
+dos1551.rom
+-----------
+The 1551 disk drive's DOS 2.6, 318008-01, 16 KB for $C000-$FFFF.
+Drives::Model1551 loads it.
+
+Downloaded from
+https://www.zimmers.net/anonftp/pub/cbm/firmware/drives/new/1551/1551.318008-01.bin
+SHA-1 fae3c788ad9a6cc2dbdfbcf6c0264b2ca921d55e.
+
 Commodore VIC-20 ROMs
 =====================
 
@@ -170,3 +179,140 @@ plus4/function-high.rom
 The Plus/4's 3-plus-1 function ROM, high half, 317054-01
 (3-plus-1.317054-01.bin), for $C000-$FFFF in ROM bank 1.
 SHA-1 0ad7ac2db7da692d972e586ca0dfd747d82c7693.
+
+Commodore PET/CBM ROMs
+======================
+
+Downloaded from
+https://www.zimmers.net/anonftp/pub/cbm/firmware/computers/pet/
+Each BASIC and KERNAL pair is one ROM set, and the editors and the
+character sets are files of their own, so a model's stock set and the
+upgrade ROMs Commodore sold can be picked apart. PET::ROMSets
+(pet/rom_sets.rb) names them for --basic and --editor and says which
+fit each model, and PET::Bus maps the ones fitted.
+
+pet/basic1.rom
+--------------
+BASIC 1 for $C000-$DFFF, four 2K chips concatenated:
+901447-09 (rom-2-c000.901447-09.bin, the revision that replaced
+901447-01), 901447-02, 901447-03 and 901447-04 (rom-1-c800, rom-1-d000,
+rom-1-d800).
+SHA-1 3be9cd41b646fefa00d80f1c3433a06146e97c59.
+
+pet/editor1.rom
+---------------
+The BASIC 1 screen editor, 901447-05 (rom-1-e000.901447-05.bin), for
+$E000-$E7FF.
+SHA-1 f02f5fb492ba93dbbd390f24c10f7a832dec432a.
+
+pet/kernal1.rom
+---------------
+The BASIC 1 KERNAL for $F000-$FFFF, 901447-06 and 901447-07
+(rom-1-f000.901447-06.bin, rom-1-f800.901447-07.bin) concatenated.
+SHA-1 32dc08828e88c74d6433156e64d402b564556308.
+
+pet/characters1.rom
+-------------------
+The 2001's character generator, 901447-08 (characters-1.901447-08.bin),
+with upper and lower case swapped against 901447-10.
+SHA-1 3e067cc621e4beafca2b90cb8f6dba975df2855b.
+
+pet/basic2.rom
+--------------
+BASIC 2 for $C000-$DFFF, 901465-01 and 901465-02
+(basic-2-c000.901465-01.bin, basic-2-d000.901465-02.bin) concatenated.
+The 2K chips of the 6540 boards (rom-3-*) hold the same bytes.
+SHA-1 9322a9f0354b9049847d98d3a045fbec860a6264.
+
+pet/kernal2.rom
+---------------
+The BASIC 2 KERNAL, 901465-03 (kernal-2.901465-03.bin), for $F000-$FFFF.
+SHA-1 38742bdf449f629bcba6276ef24d3daeb7da6e84.
+
+pet/editor2-n.rom
+-----------------
+The BASIC 2 editor for the graphics keyboard, 901447-24
+(edit-2-n.901447-24.bin), for $E000-$E7FF.
+SHA-1 5e5502ce32f5a7e387d65efe058916282041e54b.
+
+pet/editor2-b.rom
+-----------------
+The BASIC 2 editor for the business keyboard, 901474-01
+(edit-2-b.901474-01.bin), for $E000-$E7FF.
+SHA-1 174ace3a8c0348cd21d39cc864e2adc58b0101a9.
+
+pet/characters2.rom
+-------------------
+The character generator of BASIC 2 and 4 machines, 901447-10
+(characters-2.901447-10.bin).
+SHA-1 0157a2d55b7ac4eaeb38475889ebeea52e2593db.
+
+pet/basic4.rom
+--------------
+BASIC 4 for $B000-$DFFF, 901465-23, 901465-20 and 901465-21
+(basic-4-b000.901465-23.bin, basic-4-c000.901465-20.bin,
+basic-4-d000.901465-21.bin) concatenated. 901465-23 is the patched
+$B000 chip that replaced 901465-19. The 8296's 324746-01 holds the same
+four chips.
+SHA-1 d70bec479e1e3a0d0908a4897066e9959bbc11c8.
+
+pet/kernal4.rom
+---------------
+The BASIC 4 KERNAL, 901465-22 (kernal-4.901465-22.bin), for
+$F000-$FFFF.
+SHA-1 96a0fa56e0c937da92971d9c99d504e44e898806.
+
+pet/editor4-n.rom
+-----------------
+The BASIC 4 editor for the graphics keyboard without a CRTC, 901447-29
+(edit-4-n.901447-29.bin), for $E000-$E7FF.
+SHA-1 e88f56e5c54b0e8d8d4e8cb39a4647c803c1f51c.
+
+pet/editor4-b.rom
+-----------------
+The BASIC 4 editor for the business keyboard without a CRTC, 901474-02
+(edit-4-b.901474-02.bin), for $E000-$E7FF.
+SHA-1 0ca5c4e8f532f914cb0bf86ea9900f20f0a655ce.
+
+pet/editor4-40-n-50hz.rom
+-------------------------
+The 4032's 50 Hz editor, 40 columns on a CRTC, graphics keyboard,
+901498-01 (edit-4-40-n-50Hz.901498-01.bin), for $E000-$E7FF.
+SHA-1 05af284c914d53a52987b5f602466de75765f650.
+
+pet/editor4-40-n-60hz.rom
+-------------------------
+The 4032's 60 Hz editor, 901499-01 (edit-4-40-n-60Hz.901499-01.bin),
+for $E000-$E7FF.
+SHA-1 8cbf086c1ce4dfb2a2fe24c47476dfb878493dee.
+
+pet/editor4-80-b-50hz.rom
+-------------------------
+The 8032's 50 Hz editor, 80 columns on a CRTC, business keyboard,
+901474-04, the chip dated 3681
+(edit-4-80-b-50Hz.901474-04-3681.bin), for $E000-$E7FF.
+SHA-1 7040b283ba39e9630e3d147f7d076b7abc39bc70.
+
+zimmers.net has three dumps of 901474-04 that differ. This one is the
+60 Hz 901474-03 below with the 50 Hz jiffy clock patch at $E431-$E441
+and $E455, the CRTC's vertical registers (R4, R5 and R7) changed in both
+of its register tables at $E72A, and the byte at $E787 changed to keep
+the ROM's byte sum at $8A, the same as 901474-03's. The line length (R0)
+stays the 60 Hz editor's. A second chip, dated 0384, reads the same
+(8296/edit-50hz-324243-02b.txt). The -0283 dump changes R0 and sums to
+$AE, and the _alt dump changes R0 and $E787.
+
+pet/editor4-80-b-50hz-0283.rom
+------------------------------
+The 8032's other 50 Hz editor, 901474-04, the chip dated 0283
+(edit-4-80-b-50Hz.901474-04-0283.bin), for $E000-$E7FF, which
+--editor 4-80-b-50hz-0283 fits. It differs from the 3681 dump only in
+the CRTC's register tables at $E72A and $E73C: lines of 64 cycles (R0
+63) and frames of 313 lines, with nine scanlines a character row.
+SHA-1 81975eab31a8f4f51ae2a20d099a567c7b3f2dd1.
+
+pet/editor4-80-b-60hz.rom
+-------------------------
+The 8032's 60 Hz editor, 901474-03 (edit-4-80-b-60Hz.901474-03.bin),
+for $E000-$E7FF.
+SHA-1 c605fa343fd77c73cbe1e0e9567e2f014f6e7e30.

data/lib/badline/snapshot/container.rb

@@ -36,6 +36,8 @@ module Badline
       C128 = "C128"
       # xplus4 names its machine PLUS4, for the C16 too.
       PLUS4 = "PLUS4"
+      # xpet names its machine PET, for every model.
+      PET = "PET"
       GZIP_MAGIC = "\x1f\x8b".b
 
       # The VICE version block, when VICE wrote the file: four version

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

@@ -7,7 +7,7 @@ module Badline
       # its default, with keys that differ only in a unit's number, such as
       # voice1 to voice3, on one row.
       class Markdown
-        NAMES = { "c64" => "C64", "vic20" => "VIC-20", "c128" => "C128", "plus4" => "Plus/4" }.freeze
+        NAMES = { "c64" => "C64", "vic20" => "VIC-20", "c128" => "C128", "plus4" => "Plus/4", "pet" => "PET" }.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

@@ -36,8 +36,9 @@ module Badline
 
       # The machines the doc is made from: each family at power-on, the C64
       # with each kind of expansion, cartridge and media, and a second SID,
-      # and the 264 series' models, its TCBM interface, cartridge, tape and
-      # true drive.
+      # the 264 series' models, its TCBM interface, cartridge, tape and
+      # true drives, the 1541 and the 1551, and a CRTC PET, a 2001, an 8096
+      # and a PET with a disk and tapes.
       def self.machines
         {
           "c64" => [C64.new, C64.new(ram_expansion: :plus256k), C64.new(reu: 512),
@@ -45,11 +46,25 @@ module Badline
                     with_drive(:d81), with_extra_sids],
           "vic20" => [Vic20.new, with_rom],
           "c128" => [C128.new(mode: :c128), with_drive(:d71)],
-          "plus4" => [Plus4.new, Plus4.new(model: "c16"), Plus4.new(tcbm: true), plus4_with_cartridge,
-                      plus4_with_tape, plus4_with_drive]
+          "plus4" => [Plus4.new, Plus4.new(model: "c16"), Plus4.new(tcbm: true), Plus4.new(sid_card: :mos6581),
+                      Plus4.new(sid_card: :mos8580, sid_card_address: 0xfe80),
+                      Plus4.new(ram_expansion: :csory256),
+                      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_with_media]
         }
       end
 
+      # A PET with a disk in device 8 through the traps and a tape in each
+      # datasette.
+      def self.pet_with_media
+        bytes = "C64-TAPE-RAW".bytes + [1, 3, 0, 0, 4, 0, 0, 0, 0x30, 0x30, 0x30, 0x30]
+        PET.new.tap do |machine|
+          machine.mount(Storage::D64Image.new("", read_only: true, bytes: blank(174_848)))
+          machine.cassettes.datasette1.insert(Storage::TAP.new("", bytes:))
+          machine.cassettes.datasette2.insert(Storage::TAP.new("", bytes:))
+        end
+      end
+
       def self.blank(length) = Array.new(length, 0)
 
       def self.with_cartridge(type)
@@ -110,8 +125,8 @@ module Badline
         Plus4.new(model: "c16").tap { |machine| machine.datasette.insert(Storage::TAP.new("", bytes:)) }
       end
 
-      def self.plus4_with_drive
-        Plus4.new.tap do |machine|
+      def self.plus4_with_drive(model = "1541")
+        Plus4.new(true_drive_model: model).tap do |machine|
           image = Storage::D64Image.new("", bytes: blank(174_848))
           machine.plug_true_drive.insert(Drives::Model1541::Disk.decode(image))
         end

data/lib/badline/snapshot/image.rb

@@ -34,7 +34,7 @@ module Badline
     # of a machine in memory (.of).
     class Image
       MACHINE = "BL-MACHINE"
-      FAMILIES = { "c64" => "C64", "vic20" => "VIC-20", "c128" => "C128", "plus4" => "Plus/4" }.freeze
+      FAMILIES = { "c64" => "C64", "vic20" => "VIC-20", "c128" => "C128", "plus4" => "Plus/4", "pet" => "PET" }.freeze
 
       attr_reader :container
 
@@ -54,10 +54,11 @@ module Badline
       end
 
       # The snapshot with VICE's modules ahead of the BL-* ones for a C64,
-      # so x64sc opens it too. Raises FormatError for a Plus/4, whose
-      # snapshots badline doesn't write for xplus4.
+      # so x64sc opens it too. Raises FormatError for a Plus/4 or a PET,
+      # whose snapshots badline doesn't write for xplus4 or xpet.
       def self.exported(computer)
         raise FormatError, "badline doesn't export a Plus/4's snapshot for VICE" if computer.family == :plus4
+        raise FormatError, "badline doesn't export a PET's snapshot for VICE" if computer.family == :pet
 
         computer.settle_for_snapshot!
         sections = computer.save_modules
@@ -71,6 +72,7 @@ module Badline
         when :vic20 then Container::VIC20
         when :c128 then Container::C128
         when :plus4 then Container::PLUS4
+        when :pet then Container::PET
         else Container::MACHINE
         end
       end
@@ -82,6 +84,7 @@ module Badline
         when "vic20" then Vic20Setup.read_fields(machine)
         when "c128" then C128Setup.read_fields(machine)
         when "plus4" then Plus4Setup.read_fields(machine)
+        when "pet" then PETSetup.read_fields(machine)
         else C64Setup.read_fields(machine)
         end
       end
@@ -97,15 +100,16 @@ module Badline
 
       # A new machine, built as the snapshot's was and restored from it. A
       # badline snapshot restores from its BL-* modules alone, and a VICE
-      # one through the modules badline reads. xvic's, x128's and xplus4's own
-      # modules aren't read. Yields a line for each thing left out, or
-      # warns it without a block. `detached` restores it without the host's
-      # files (Keyed::Modules).
+      # one through the modules badline reads. xvic's, x128's, xplus4's and
+      # xpet's own modules aren't read. Yields a line for each thing left
+      # out, or warns it without a block. `detached` restores it without
+      # the host's files (Keyed::Modules).
       def load(detached: false, &)
         refuse_old_layout
         raise FormatError, "badline reads only its own VIC-20 snapshots, not xvic's" if vic20? && !badline?
         raise FormatError, "badline reads only its own C128 snapshots, not x128's" if c128? && !badline?
         raise FormatError, "badline reads only its own Plus/4 snapshots, not xplus4's" if plus4? && !badline?
+        raise FormatError, "badline reads only its own PET snapshots, not xpet's" if pet? && !badline?
         return load_vice(&) unless badline?
 
         modules = Keyed::Modules.new(sections, detached:)
@@ -123,6 +127,9 @@ module Badline
       # Whether the machine is of the 264 series, as the container names it.
       def plus4? = @container.machine == Container::PLUS4
 
+      # Whether the machine is a PET, as the container names it.
+      def pet? = @container.machine == Container::PET
+
       # Restores `computer` from the snapshot, and returns the Report. The
       # snapshot goes into a new machine first, so one that fails, or is of
       # a machine built another way, leaves `computer` as it was.