Skip to content
View seaver-olson's full-sized avatar
:octocat:
:octocat:
2 followers · 13 following
  • Loyola University @ Chicago
  • 18:04 (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.

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 student at Loyola University Chicago focused on low-level systems, computer architecture, operating systems, and virtualization research.

Currently extending gem5's x86 full-system simulator with Intel VMX support for hypervisor-aware architectural simulation.

Main work

  • gem5-vmx: Intel VMX support for gem5
  • VeriVerto: RV32I CPU in Verilog
  • archspec: hardware/software introspection library in C++
  • PEENOS: AArch64 Raspberry Pi OS exploration

Interests

Computer architecture, virtualization, operating systems, kernels, simulation, hardware/software interfaces and plants.

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