Skip to content
View seaver-olson's full-sized avatar
:octocat:
:octocat:
2 followers · 15 following
  • Loyola University @ Chicago
  • 08:25 (UTC -05:00)

Achievements

Achievement: QuickdrawAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report seaver-olson

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
seaver-olson/README.md

Seaver Olson

Computer science at Loyola Chicago. I’m interested in computer architecture, HPC and virtualization.

Right now I’m adding Intel VMX support to gem5. The work has reached the useful stage: a small 64-bit guest can enter VMX operation, launch, take a few selected VM exits, resume, and hand control back to the host.

host ── VM entry ──> guest
  ^                    │
  └────── VM exit ─────┘

Projects

  • gem5-vmx | Intel VMX for gem5’s x86 full-system simulator.
  • VeriVerto | A five-stage RV32I processor in Verilog: hazards, forwarding, branches, and some experimental cache work.
  • archspec | An early C++ library for gathering structured information about a Linux machine.
  • PEENOS | A small bare-metal ARMv8 operating system for a Raspberry Pi 3B.

Plants

I will add pictures of my favorite plants here soon when they bloom!

Pinned Loading

  1. gem5-vmx gem5-vmx Public

    Forked from gem5/gem5

    The official repository for the gem5 computer-system architecture simulator.

    C++ 1

  2. PEENOS PEENOS Public

    Pi Exploration & Experimentation 4 Noobs Operating System

    C 1

  3. archspec archspec Public

    ArchSpec is a C++ hardware introspection library that collects structured Linux system information for profiling, research, and architecture-aware tooling

    C++

  4. VeriVerto VeriVerto Public

    VeriVerto: A RISC-V CPU

    Verilog 1

  5. Emulated-Systems Emulated-Systems Public

    Repo to store my work on creating an emulated low-level system that I should hopefully be able to load a program onto eventually

    C

  6. Monolithos Monolithos Public

    Monolithos is a formal and empirical research project focused on eliminating nondeterminism in real-time I/O systems. This repository represents the complete system design, specification, and verif…

    TLA