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
©2020, Kevin Elphinstone. | Powered by Sphinx 2.1.2 & Alabaster 0.7.12 | Page source