badline 0.15.1 → 0.16.0

data/lib/badline/drives/model1551/tia.rb

@@ -4,8 +4,7 @@ module Badline
   module Drives
     class Model1551
       # The drive's 6523 TIA at $4000-$7FFF, its eight registers mirrored
-      # (zimmers.net's 1551 memory map, schematic 251860), a Chips::TIA
-      # with what the drive's side wires to it:
+      # (zimmers.net's 1551 memory map, schematic 251860):
       #
       # - Port A carries the cable's eight data lines, pulled up.
       # - Port B reads the GCR byte the gate array latched at BYTE READY
@@ -19,72 +18,52 @@ module Badline
       # pulled up, so an input nothing drives reads 1.
       #
       # Any access to the TIA clears BYTE LATCHED.
-      class TIA
+      class TIA < Chips::TIA
         DAV = 0x80
         SYNC = 0x40
         JUMPER = 0x20
         MODE = 0x10
 
-        # The chip, whose inputs the drive's side sets before each read.
-        attr_reader :chip
-
         def initialize(mechanism, device:)
           @mechanism = mechanism
           @jumper = device == 9 ? JUMPER : 0
-          @chip = Chips::TIA.new
-          inputs = @chip.inputs
-          inputs[0] = 0xff
-          inputs[1] = 0xff
-          inputs[2] = 0xff
           mechanism.tia = self
-          mode_written
+          super()
+          @inputs[0] = 0xff
+          @inputs[1] = 0xff
+          @inputs[2] = 0xff
         end
 
-        def ports = @chip.ports
-
-        def directions = @chip.directions
-
-        def inputs = @chip.inputs
-
         def reset!
-          @chip.reset!
+          super
           mode_written
         end
 
         def peek(addr)
           mechanism = @mechanism
           mechanism.release_byte_latch
-          chip = @chip
-          inputs = chip.inputs
           case addr & 0x07
-          when 1 then inputs[1] = mechanism.latched_byte
-          when 2 then inputs[2] = (inputs[2] & DAV) | (mechanism.sync? ? 0 : SYNC) | @jumper | 0x1f
+          when 1 then @inputs[1] = mechanism.latched_byte
+          when 2 then @inputs[2] = (@inputs[2] & DAV) | (mechanism.sync? ? 0 : SYNC) | @jumper | 0x1f
           end
-          chip.peek(addr)
+          super
         end
 
         def poke(addr, value)
           @mechanism.release_byte_latch
-          @chip.poke(addr, value)
+          super
           register = addr & 0x07
           mode_written if [2, 5].include?(register)
         end
 
         # What port B drives onto the head's write shift register.
-        def port_b_output = @chip.output(1)
-
-        # The chip's registers, in a keyed snapshot module (BL-D8-TIA).
-        def save_fields(out) = @chip.save_fields(out)
-
-        def load_fields(input)
-          @chip.load_fields(input)
-        end
+        def port_b_output = output(1)
 
         private
 
         # MODE selects reading while high, as the 1541's CB2 does.
         def mode_written
-          @mechanism.cb2_written(@chip.output(2).anybits?(MODE))
+          @mechanism.cb2_written(output(2).anybits?(MODE))
         end
       end
     end

data/lib/badline/drives/model1551.rb

@@ -26,7 +26,10 @@ module Badline
     # The drive comes with its interface for the computer's expansion port,
     # a second 6523 (#host_tia), which the cable joins to the drive's
     # (Cable). The computer puts it at $FEE0 for device 8 and at $FEC0 for
-    # device 9.
+    # device 9, as the drive's DEV line (PC2) says: high for device 8 and
+    # low for device 9. The DOS sets DEV from the jumper at reset, and again
+    # when a command renumbers the drive. The device number follows each
+    # change on the line (#device).
     #
     # A 555 timer pulls IRQ low for about 7 µs every 8.3 ms, its R1 120K,
     # R2 100R and C1 0.1 µF, which runs the DOS's job loop. Nothing
@@ -101,10 +104,29 @@ module Badline
         @irq_timer = IRQ_PERIOD
         init_idle(debug)
         @pass_counter = PASS_COUNTER
-        @cable = Cable.new(@host_tia, @tia.chip, self)
+        @dev_high = true
+        @on_renumber = nil
+        @cable = Cable.new(@host_tia, @tia, self)
         @serial_port = @cable
       end
 
+      # Calls the block with the old device number each time the DEV line
+      # moves the drive to the other one.
+      def on_renumber(&block)
+        @on_renumber = block
+      end
+
+      # The cable's DEV line, high or not. A change moves the drive to
+      # device 8 while it's high, and to device 9 while it's low.
+      def dev_line(high)
+        return if high == @dev_high
+
+        @dev_high = high
+        old = @device
+        @device = high ? 8 : 9
+        @on_renumber&.call(old) unless @device == old
+      end
+
       # Puts in a Disk from the .d64 or .g64 image at +path+, write-protected
       # with `read_only`.
       def insert_image(path, read_only: false)
@@ -148,8 +170,8 @@ module Badline
       end
 
       def idle_state
-        chip = @tia.chip
-        [*@cpu.counting_state, @bus.data, *@mechanism.idle_state, *chip.ports, *chip.directions, *chip.inputs,
+        tia = @tia
+        [*@cpu.counting_state, @bus.data, *@mechanism.idle_state, *tia.ports, *tia.directions, *tia.inputs,
          @port.ddr, @port.data]
       end
 

data/lib/badline/drives.rb

@@ -4,5 +4,6 @@
 # 1571 stays out of the core: badline/c128 requires it.
 require "badline/drives/datasette"
 require "badline/drives/serial_bus"
+require "badline/drives/ieee_bus"
 require "badline/drives/model1541"
 require "badline/drives/model1581"

data/lib/badline/frontend/app.rb

@@ -112,7 +112,7 @@ module Badline
       end
 
       def handle_key(scancode, down)
-        if [Keys::TAB, Keys::F8, Keys::F9, Keys::F10].include?(scancode)
+        if [Keys::F8, Keys::F9, Keys::F10].include?(scancode) || (scancode == Keys::TAB && @controls.tab_toggles?)
           handle_toggle(scancode) if down
         elsif down && @snapshots.key(scancode)
           swap(@snapshots.computer)

data/lib/badline/frontend/controls.rb

@@ -7,7 +7,9 @@ module Badline
     # - The keys: every host key goes to the machine's keyboard, or, as Tab
     #   switches, the arrow cluster and space drive one joystick and WASD
     #   and left shift the other. The arrows start on joystick 2, and
-    #   #swap_ports swaps them. The VIC-20's one joystick takes both.
+    #   #swap_ports swaps them. The VIC-20's one joystick takes both. The
+    #   PET has no joystick, and its keys go by the character they type
+    #   (PETKeyboard).
     # - A pot device the pause menu plugs into a C64 control port: a 1351
     #   mouse or a pair of paddles, which the host mouse drives. Motion
     #   turns the paddles or moves the mouse, and the host's left and right
@@ -30,6 +32,7 @@ module Badline
         @mouse = Input::Mouse1351.new
         @paddles = Input::Paddles.new
         @held = {}
+        @pet_keyboard = pet_keyboard(computer)
       end
 
       # Routes the input to another machine, the pot device going into its
@@ -37,6 +40,7 @@ module Badline
       def computer=(computer)
         release_all
         @computer = computer
+        @pet_keyboard = pet_keyboard(computer)
         attach_pot_device
       end
 
@@ -48,10 +52,16 @@ module Badline
         release_all
       end
 
+      # Switches between the keyboard and the joysticks, on a machine with
+      # joysticks.
       def toggle_keys
-        self.joystick_mode = !@joystick
+        self.joystick_mode = !@joystick if tab_toggles?
       end
 
+      # Whether Tab switches the keys to the joysticks, or on the PET, which
+      # has none, is a key of its own.
+      def tab_toggles? = @computer.family != :pet
+
       # Plugs in one of POTS, in place of the one before.
       def plug(pot)
         @pot = pot
@@ -106,6 +116,8 @@ module Badline
       # A host key lets go of the key it pressed, though the C128 has
       # switched between C64 and C128 mode since and maps it elsewhere.
       def machine_key(scancode, down)
+        return @pet_keyboard.key(scancode, down) if @computer.family == :pet
+
         @held[scancode] = host_key(scancode) if down || !@held.key?(scancode)
         key = @held[scancode]
         @held.delete(scancode) unless down
@@ -147,7 +159,7 @@ module Badline
       # A fresh pot device on its port, and none on the other. A machine
       # without the ports takes none.
       def attach_pot_device
-        ports = @computer.control_ports
+        ports = @computer.family == :pet ? nil : @computer.control_ports
         if ports.nil?
           @pot = :none
           return
@@ -199,7 +211,15 @@ module Badline
         down ? joystick.press(direction) : joystick.release(direction)
       end
 
+      # The PET's keyboard for a PET, and for any other machine one it never
+      # uses.
+      def pet_keyboard(computer)
+        PETKeyboard.new(computer.keyboard, computer.family == :pet ? computer.model.keyboard : :graphics)
+      end
+
       def release_all
+        return @pet_keyboard.release_all if @computer.family == :pet
+
         Keys::ARROWS.each_key { |scancode| @computer.keyboard.release(host_key(scancode)) }
         Keys::WASD.each_key { |scancode| @computer.keyboard.release(host_key(scancode)) }
         Keys::ARROWS.each_value do |direction|

data/lib/badline/frontend/gamepads.rb

@@ -7,14 +7,15 @@ module Badline
     # second one joystick 1. PadPort holds the mapping.
     #
     # The controllers are polled every frame, and rescanned whenever SDL
-    # reports one added or removed.
+    # reports one added or removed. The PET has no joysticks, and the
+    # controllers steer two that nothing reads.
     class Gamepads
       PORTS = [2, 1].freeze
 
       def initialize(computer, verbose)
         @verbose = verbose
         @controllers = []
-        @ports = [PadPort.new(computer.joystick2), PadPort.new(computer.joystick1)]
+        @ports = [PadPort.new(joystick(computer, 2)), PadPort.new(joystick(computer, 1))]
         @buttons = Array.new(PadPort::BUTTON_COUNT, 0)
         @available = SDL.SDL_InitSubSystem(SDL::INIT_GAMECONTROLLER).zero?
         puts "No game controllers: #{SDL.SDL_GetError}" if @verbose && !@available
@@ -24,7 +25,7 @@ module Badline
       # what they hold on the next poll.
       def computer=(computer)
         @ports.each(&:release)
-        @ports = [PadPort.new(computer.joystick2), PadPort.new(computer.joystick1)]
+        @ports = [PadPort.new(joystick(computer, 2)), PadPort.new(joystick(computer, 1))]
       end
 
       def rescan
@@ -51,6 +52,12 @@ module Badline
 
       private
 
+      def joystick(computer, port)
+        return Input::Joystick.new if computer.family == :pet
+
+        port == 1 ? computer.joystick1 : computer.joystick2
+      end
+
       def open_controller(index)
         controller = SDL.SDL_GameControllerOpen(index)
         # SDL returns NULL when the controller won't open, which Spinel's FFI

data/lib/badline/frontend/keys.rb

@@ -65,6 +65,59 @@ module Badline
         79 => :crsr_right, 80 => :crsr_left, 81 => :crsr_down, 82 => :crsr_up, 229 => :lshift, 75 => :none
       }.freeze
 
+      # The characters the keys other than the letters type on a US
+      # layout, unshifted and then shifted, and the keypad's.
+      US_CHARACTERS = {
+        30 => "1!", 31 => "2@", 32 => "3#", 33 => "4$", 34 => "5%", 35 => "6^", 36 => "7&", 37 => "8*", 38 => "9(",
+        39 => "0)", 45 => "-_", 46 => "=+", 47 => "[{", 48 => "]}", 49 => "\\|", 51 => ";:", 52 => "'\"", 53 => "`~",
+        54 => ",<", 55 => ".>", 56 => "/?", 84 => "//", 85 => "**", 86 => "--", 87 => "++", 89 => "11", 90 => "22",
+        91 => "33", 92 => "44", 93 => "55", 94 => "66", 95 => "77", 96 => "88", 97 => "99", 98 => "00", 99 => "..",
+        103 => "=="
+      }.freeze
+
+      # The PET's keys for the characters a host key types, on either
+      # keyboard without SHIFT: each has a key of its own on the graphics
+      # keyboard, where SHIFT turns it into a graphics character. ↑ and ←
+      # are on ^, and on _ and `.
+      PET_GRAPHICS_CHARACTERS = {
+        "!" => :!, "\"" => :'"', "#" => :"#", "$" => :"$", "%" => :%, "&" => :&, "'" => :"'", "(" => :"(",
+        ")" => :")", "\\" => :"\\", "^" => :up, "_" => :left, "`" => :left, "/" => :/, ":" => :":", "*" => :*,
+        ";" => :";", "?" => :"?", "," => :",", "+" => :+, "@" => :"@", "[" => :"[", "]" => :"]", "<" => :<,
+        ">" => :>, "-" => :-, "=" => :"=", "." => :".", "1" => :"1", "2" => :"2", "3" => :"3", "4" => :"4",
+        "5" => :"5", "6" => :"6", "7" => :"7", "8" => :"8", "9" => :"9", "0" => :"0"
+      }.freeze
+
+      # The business keyboard's: the characters it types without SHIFT,
+      # then those it types with it.
+      PET_BUSINESS_CHARACTERS = {
+        "1" => :"1", "2" => :"2", "3" => :"3", "4" => :"4", "5" => :"5", "6" => :"6", "7" => :"7", "8" => :"8",
+        "9" => :"9", "0" => :"0", "-" => :-, ":" => :":", ";" => :";", "," => :",", "." => :".", "/" => :/,
+        "@" => :"@", "[" => :"[", "]" => :"]", "\\" => :"\\", "^" => :up, "_" => :left, "`" => :left
+      }.freeze
+
+      PET_BUSINESS_SHIFTED = {
+        "!" => :"1", "\"" => :"2", "#" => :"3", "$" => :"4", "%" => :"5", "&" => :"6", "'" => :"7", "(" => :"8",
+        ")" => :"9", "=" => :-, "*" => :":", "+" => :";", "<" => :",", ">" => :".", "?" => :/
+      }.freeze
+
+      # The PET's keys that don't type a character, which keep the host's
+      # SHIFT: RETURN, INST/DEL on Backspace, CLR/HOME on Home, RUN/STOP on
+      # Page Down, and RVS on Control. Esc is RUN/STOP on the graphics
+      # keyboard. The business keyboard's ESC, TAB, REPEAT and keypad are
+      # on Esc, Tab, Page Up and the keypad.
+      PET_KEYS = {
+        40 => :return, 88 => :return, 42 => :delete, 44 => :space, 74 => :clr_home, 78 => :run_stop, 224 => :rvs,
+        228 => :rvs
+      }.freeze
+
+      PET_BUSINESS_KEYS = {
+        41 => :escape, 43 => :tab, 75 => :repeat, 89 => :kp1, 90 => :kp2, 91 => :kp3, 92 => :kp4, 93 => :kp5,
+        94 => :kp6, 95 => :kp7, 96 => :kp8, 97 => :kp9, 98 => :kp0, 99 => :kp_period
+      }.freeze
+
+      # The cursor keys, CRSR ⇔ and CRSR ⇕, each with SHIFT for left or up.
+      PET_CURSORS = { RIGHT => :cursor_h, LEFT => :cursor_h, DOWN => :cursor_v, UP => :cursor_v }.freeze
+
       ARROWS = { 44 => :fire, 228 => :fire, 79 => :right, 80 => :left, 81 => :down, 82 => :up }.freeze
       WASD = { 225 => :fire, 7 => :right, 4 => :left, 22 => :down, 26 => :up }.freeze
 
@@ -89,6 +142,41 @@ module Badline
       # The 264's key for the scancode: one of PLUS4_OTHERS or the C64's.
       def self.plus4_key(scancode) = PLUS4_OTHERS[scancode] || c64_key(scancode)
 
+      # The PET key for the scancode on the +keyboard+, :graphics or
+      # :business, with the host's SHIFT down if +shift+, and how the
+      # PET's SHIFT goes with it: :on or :off for a key that types the host
+      # key's character or moves the cursor its way only so, and :host to
+      # follow the host's. A letter is the PET's letter, and any other key
+      # the PET key that types the same character, or :none.
+      def self.pet_key(scancode, shift, keyboard)
+        return [LETTERS[scancode - 4], :host] if scancode.between?(4, 29)
+
+        cursor = PET_CURSORS[scancode]
+        return [cursor, [LEFT, UP].include?(scancode) ? :on : :off] unless cursor.nil?
+
+        business = keyboard == :business
+        key = business ? PET_BUSINESS_KEYS[scancode] : nil
+        key = PET_KEYS[scancode] if key.nil?
+        key = :run_stop if key.nil? && scancode == ESCAPE
+        return [key, :host] unless key.nil?
+
+        pet_character(scancode, shift, business)
+      end
+
+      # The PET key that types the character the scancode types on a US
+      # layout, and the SHIFT it takes.
+      def self.pet_character(scancode, shift, business)
+        characters = US_CHARACTERS[scancode]
+        return %i[none host] if characters.nil?
+
+        character = characters[shift ? 1 : 0]
+        unshifted = business ? PET_BUSINESS_CHARACTERS[character] : PET_GRAPHICS_CHARACTERS[character]
+        return [unshifted, :off] unless unshifted.nil?
+
+        shifted = business ? PET_BUSINESS_SHIFTED[character] : nil
+        shifted.nil? ? %i[none host] : [shifted, :on]
+      end
+
       # The character the key types on a US layout: a letter, a capital
       # with `shift`, or a digit, and "" for any other key.
       def self.character(scancode, shift)

data/lib/badline/frontend/media_slots.rb

@@ -35,6 +35,7 @@ module Badline
         # either cartridge's slots.
         def cartridge?(computer)
           return !computer.cartridge_slots.empty? if computer.family == :plus4
+          return false if computer.family == :pet
 
           !computer.address_bus.cartridge.nil?
         end

data/lib/badline/frontend/menu/menu_dialogs.rb

@@ -39,6 +39,7 @@ module Badline
         @browsing = kind
         extensions = case kind
                      when :cartridge then @media.cartridge_extensions
+                     when :disk then @media.disk_extensions
                      when :program then programs
                      else EXTENSIONS.fetch(kind)
                      end
@@ -64,7 +65,7 @@ module Badline
       # starts, and says whether it asks. Other files are left alone.
       def drop(path)
         extension = File.extname(path).downcase
-        return @media.insert(:disk, path) && false if EXTENSIONS[:disk].include?(extension)
+        return @media.insert(:disk, path) && false if @media.disk_extensions.include?(extension)
         return @media.insert(:tape, path) && false if EXTENSIONS[:tape].include?(extension)
         return false unless programs.include?(extension)
 

data/lib/badline/frontend/menu/menu_media.rb

@@ -99,13 +99,22 @@ module Badline
         insert(:disk, set[index + step])
       end
 
-      # The extensions of the cartridges the machine takes: .crt, and on
-      # the Plus/4 raw .bin ROM images too.
+      # The extensions of the cartridges the machine takes: .crt, on the
+      # Plus/4 raw .bin ROM images too, and none on the PET.
       def cartridge_extensions
-        extensions = Media::Extensions.of(%i[cartridge])
+        extensions = Media::Extensions.of(@computer.family == :pet ? %i[none] : %i[cartridge])
         @computer.family == :plus4 ? extensions + [Media::Plus4Media::ROM_IMAGE] : extensions
       end
 
+      # The extensions of what goes in device 8: on the PET the 8050's and
+      # 8250's disk images besides the others, and no raw GCR, which only
+      # a serial true drive reads.
+      def disk_extensions
+        return Media::Extensions.of(%i[disk ieee_disk archive disk_list]) if @computer.family == :pet
+
+        Media::Extensions::DEVICE8
+      end
+
       # Swaps the cartridge for the one at `path`, which power cycles the
       # machine, and says whether it went in.
       def attach_cartridge(path)
@@ -117,10 +126,10 @@ module Badline
       # What a save of the machine is named after: the cartridge, the disk,
       # the tape, or BASIC, without the bracketed parts of a file's name. A
       # VIC-20's are named after its disk, or else the machine, and a
-      # Plus/4's after its disk or tape.
+      # Plus/4's or a PET's after its disk or tape.
       def game_name
         vic20 = @computer.family == :vic20
-        name = vic20 || @computer.family == :plus4 ? "" : cartridge_name
+        name = vic20 || %i[plus4 pet].include?(@computer.family) ? "" : cartridge_name
         disk = disk_path
         name = File.basename(disk, File.extname(disk)) if name.empty? && !disk.empty?
         name = tape_name if name.empty? && !vic20
@@ -136,14 +145,16 @@ module Badline
       end
 
       # The name the cartridge in the expansion port gives itself, or an
-      # empty one. A VIC-20's or a Plus/4's is the name of the file it came
-      # from: a .crt's own, or else the file's. A Plus/4 names each of its
+      # empty one. A VIC-20 keeps its own (Vic20#cartridge_name). A Plus/4's
+      # is the name of the file it came from: a .crt's own, or else the
+      # file's. It names each of its
       # cartridges with a ROM in, and a slot filled from elsewhere, such as
       # a snapshot, by the slot.
       def cartridge_name
         case @computer.family
         when :plus4 then @computer.cartridge_slots.map { |slot| slot_name(slot) }.uniq.join(", ")
-        when :vic20 then named? ? @names.fetch("", "") : ""
+        when :vic20 then @computer.cartridge_name
+        when :pet then ""
         else
           cartridge = @computer.address_bus.cartridge
           cartridge.nil? ? "" : cartridge.name
@@ -200,28 +211,16 @@ module Badline
 
       def slot_name(slot) = named? ? @names.fetch(slot, slot.upcase) : slot.upcase
 
-      # Keeps the name of the cartridge at `path` in `computer` by the
-      # slots it fills: a Plus/4's by xplus4's names, a raw image's in
-      # `slot` if it names one, and a VIC-20's in the one slot "". Other
-      # media, and other machines' cartridges, leave the names alone.
+      # Keeps the name of the cartridge at `path` in a Plus/4 by the slots
+      # it fills, by xplus4's names, a raw image's in `slot` if it names
+      # one. Other media, and other machines' cartridges, leave the names
+      # alone.
       def note_cartridge(computer, path, slot)
-        case computer.family
-        when :plus4
-          return unless Media.kind(computer, path) == :cartridge
-
-          name = file_name(path)
-          Media::Plus4Media.cartridge_chips(path, slot: slot.empty? ? nil : slot).each do |chip|
-            @names["c#{chip.bank + 1}#{chip.address < 0xc000 ? 'lo' : 'hi'}"] = name
-          end
-        when :vic20 then @names[""] = file_name(path) if vic20_cartridge?(path)
-        end
-      end
+        return unless computer.family == :plus4 && Media.kind(computer, path) == :cartridge
 
-      def vic20_cartridge?(path)
-        case Media::Extensions.kind(path)
-        when :cartridge then true
-        when :program then File.file?(path) && !Media::Vic20Cartridge.chips(path, Media.program_bytes(path)).nil?
-        else false
+        name = file_name(path)
+        Media::Plus4Media.cartridge_chips(path, slot: slot.empty? ? nil : slot).each do |chip|
+          @names["c#{chip.bank + 1}#{chip.address < 0xc000 ? 'lo' : 'hi'}"] = name
         end
       end
 

data/lib/badline/frontend/menu/menu_pages.rb

@@ -85,6 +85,9 @@ module Badline
       # Whether the machine is a C128, whose F8 switches its screens.
       def c128? = @computer.family == :c128
 
+      # Whether the machine is a PET, whose ports page shows its keyboard.
+      def pet? = @computer.family == :pet
+
       private
 
       def vic20? = @computer.family == :vic20
@@ -122,6 +125,8 @@ module Badline
       end
 
       def draw_expansion
+        return draw_pet_memory if pet?
+
         info("CARTRIDGE", @media.cartridge_name)
         return info("RAM EXPANSION", RAM_NAMES.fetch(@computer.ram_configuration)) if vic20?
 
@@ -151,6 +156,12 @@ module Badline
         toggle(plus4? ? "SID CARD" : "SID", :sid, [%w[6581 8580], %i[sid6581 sid8580], model == :mos8580 ? 1 : 0])
       end
 
+      # The PET's memory: its RAM, and the 8096's 64K board.
+      def draw_pet_memory
+        info("RAM", "#{@computer.ram_kb}K")
+        info("EXPANSION RAM", @computer.model.expansion ? "64K BOARD" : "")
+      end
+
       # Saving now and by name, loading a named save, and the quicksaves
       # and autosaves, newest first, which a press loads.
       def draw_snapshots
@@ -166,10 +177,12 @@ module Badline
         end
       end
 
-      # The C128 names its model and the mode it runs in first, and the
-      # Plus/4 its model and RAM, and its RAM expansion if it has one.
+      # The C128 names its model and the mode it runs in first, the Plus/4
+      # and the PET their model and RAM, and the Plus/4 its RAM expansion if
+      # it has one.
       def draw_power
         info("MACHINE", "#{@computer.model.name.upcase}, #{@computer.mode.to_s.upcase} MODE") if c128?
+        info("MACHINE", @computer.model_label) if pet?
         if plus4?
           info("MACHINE", @computer.model_label)
           expansion = @computer.ram_expansion_label

data/lib/badline/frontend/menu/menu_ports.rb

@@ -5,18 +5,28 @@ module Badline
     # The pause menu's PORTS page, which MenuPages draws: what each C64
     # control port has plugged in, a joystick or a pot device, and whether
     # the keys type or drive the joysticks. The VIC-20 has one port, a
-    # joystick's, and the Plus/4 two joysticks and no pot devices.
+    # joystick's, and the Plus/4 two joysticks and no pot devices. The PET
+    # has no ports, and the page, KEYBOARD there, says where its keys are
+    # instead.
     module MenuPorts
       PORT_DEVICES = %i[joystick mouse paddles].freeze
       PORT_NAMES = %w[JOY MOUSE PADDLES].freeze
       PORT_ACTIONS = [%i[port1_joystick port1_mouse port1_paddles], %i[port2_joystick port2_mouse port2_paddles]].freeze
       POTS = [%i[none mouse1 paddles1], %i[none mouse2 paddles2]].freeze
 
+      # Where the PET's keys without a character of their own are, on both
+      # keyboards, and then on the graphics one and on the business one.
+      PET_KEYS = ["PAGE DOWN: RUN/STOP", "HOME: CLR/HOME", "BACKSPACE: INST/DEL", "CTRL: RVS",
+                  "ARROWS: CURSOR", "^: UP ARROW", "_: LEFT ARROW"].freeze
+      PET_GRAPHICS_KEYS = ["ESC: RUN/STOP", "SHIFT+LETTER: GRAPHIC", "ALT+SYMBOL: GRAPHIC"].freeze
+      PET_BUSINESS_KEYS = ["ESC: ESC", "TAB: TAB", "PAGE UP: REPEAT", "KEYPAD: KEYPAD", "ALT+KEY: SHIFT+KEY"].freeze
+
       private
 
       def draw_ports
         return draw_vic20_port if @computer.family == :vic20
         return draw_plus4_ports if @computer.family == :plus4
+        return draw_pet_keys if @computer.family == :pet
 
         toggle("PORT 1", :port1, [PORT_NAMES, PORT_ACTIONS[0], PORT_DEVICES.index(port_device(1))])
         toggle("PORT 2", :port2, [PORT_NAMES, PORT_ACTIONS[1], PORT_DEVICES.index(port_device(2))])
@@ -49,6 +59,17 @@ module Badline
         info("WASD, LEFT SHIFT", "JOYSTICK #{3 - arrows}")
       end
 
+      # The PET's keyboard, whose keys type the characters on the host's
+      # (PETKeyboard), and the keys that stand for the rest of its keys.
+      def draw_pet_keys
+        business = @computer.model.keyboard == :business
+        info("KEYBOARD", business ? "BUSINESS" : "GRAPHICS")
+        (PET_KEYS + (business ? PET_BUSINESS_KEYS : PET_GRAPHICS_KEYS)).each do |line|
+          @painter.text(@left, @top, line, MenuTheme::TEXT)
+          @top += MenuPages::LINE
+        end
+      end
+
       # The toggle between the keyboard named and the joysticks, and
       # whether the keys drive the joysticks.
       def draw_keys(keyboard)

data/lib/badline/frontend/menu/pause_menu.rb

@@ -238,6 +238,7 @@ module Badline
       def draw_sections
         top = @top + 32
         SECTIONS.each_with_index do |name, index|
+          name = "KEYBOARD" if PAGES[index] == :ports && @pages.pet?
           @buttons.plain(@left + 6, top, name.ljust(14), PAGES[index], on: index == @section)
           top += Buttons::HEIGHT + 2
         end