Suggested COMP3231 Content

• OS/161 on WSL
  • Setting up your folders
  • Create a Symbolic Link
  • GDB User Initialization File
  • Install the conf file
  • Clone your repository
  • GDB Current Directory Initialization File
  • Make your Assignment the First Time
  • Make Your Assignments Additional Times
  • Running OS/161 (with or without GDB)
  • Using GBD
• OS/161 on Linux
  • Setting up your folders
  • GDB User Initialization File
  • Install the conf file
  • Clone your repository
  • GDB Current Directory Initialization File
  • Make your Assignment the First Time
  • Make Your Assignments Additional Times
  • Running OS/161 (with or without GDB)
  • Using GBD
• All GDB Content
  • GDB - Overview
  • GDB - Basic Setup
  • GDB - Basic Use
  • GDB - Breakpoints
  • GDB - Viewing Data
  • GDB - Navigating your program
  • GDB - Call Stack
  • GDB - Core Dumps
  • GDB - Init File
  • GDB - watch and display
  • GDB - Conditional Breakpoints
• OS/161 - kprintf()
  • kprintf()
  • Suitable Uses
  • Cautions
• OS/161 - KASSERT()
  • KASSERT
  • Example
• OS/161 - Debugging with Fault Addresses
  • EPC Register
  • BadVaddr Register (vaddr)
  • Example
• trace161
  • Running trace161
  • Interpreting trace161 Output
  • Example