Code

Restructure the code into a library#10

Code

Merged

Ivan-Velickovic merged 155 commits intomainau-ts/libvmm:mainfrom restructureau-ts/libvmm:restructureCopy head branch name to clipboardSep 23, 2023

+84,435-7,756

Commits

Commits on Aug 3, 2023

• Progress on restructuring the VMM into a library

  Ivan-Velickovic

  committed
  43a7f4d

• Remove inclusion of stdlib in vgic_v2.c

  Ivan-Velickovic

  committed
  bc284ff

• Remove Makefile, vmm.c, vmm.h as they are to be moved into the

  Show description for c703700
  Ivan-Velickovic

  committed
  c703700

• Remove global_data.S

  Ivan-Velickovic

  committed
  78389a4

• Remove reply_to_fault as it is part of libsel4cp now

  Ivan-Velickovic

  committed
  1ac390d

• Make printing of TCB and vCPU registers consistent

  Ivan-Velickovic

  committed
  8a65334

• Use size_t for vCPU id parameters instead of uint64_t

  Ivan-Velickovic

  committed
  f71c294

• Simplify fault handler for user exceptions

  Ivan-Velickovic

  committed
  5b4255e

• Clean up virtual memory fault handler

  Ivan-Velickovic

  committed
  33d8ce0

• Adjust vIRQ code for library restructure

  Ivan-Velickovic

  committed
  1365968

• Split Linux header into header and source file for implementation

  Ivan-Velickovic

  committed
  ff320ae

• Fix types used in SMC code

  Ivan-Velickovic

  committed
  5654596

• Add initial refactored simple single guest example

  Show description for 36f94ab
  Ivan-Velickovic

  committed
  36f94ab

• Simplify guest hash defines in simple example VMM

  Ivan-Velickovic

  committed
  d3601f8

• Remove unused code in util header/source

  Ivan-Velickovic

  committed
  c811673

• Fix simple example Makefile to not need SYSTEM argument

  Ivan-Velickovic

  committed
  9c8d468

• Default to clang instead of GCC for compiling simple example

  Show description for f98e9ed
  Ivan-Velickovic

  committed
  f98e9ed

• Rename fault handling functions

  Ivan-Velickovic

  committed
  6e3b963

• Move TCB and VCPU APIs into header + source file rather than header-only

  Ivan-Velickovic

  committed
  81bdec1

• WIP: add example VMM written in Zig

  Ivan-Velickovic

  committed
  4845731

• Add DTB (Device Tree Blob) to gitignore

  Ivan-Velickovic

  committed
  4cd85a6

• Remove unnecessary function declaration in util.h

  Ivan-Velickovic

  committed
  b9da98e

• Make Makefile/build.zig command for running QEMU consistent

  Ivan-Velickovic

  committed
  fd99889

• Simplifying the simple example Makefile

  Ivan-Velickovic

  committed
  d4f7df8

• Explaining how the simple VMM packages guest binaries

  Ivan-Velickovic

  committed
  aaf169b

• Clean up includes in simple VMM

  Ivan-Velickovic

  committed
  514c79f

• WIP: adding odroidc4 to simple example

  Ivan-Velickovic

  committed
  1a3d69a

• Getting CI back into a working state

  Show description for 5a14821
  Ivan-Velickovic

  committed
  5a14821

Commits on Aug 10, 2023

• ci: add todo

  Ivan-Velickovic

  committed
  8c6edaf

• examples/simple: initial README

  Ivan-Velickovic

  committed
  16f8e3c

• examples/simple: add note in README

  Ivan-Velickovic

  committed
  b02e05c

• Nix shell formatting/comment

  Ivan-Velickovic

  committed
  b9dd145

• Further fixes in CI and testing script

  Ivan-Velickovic

  committed
  173e6f5

• Small change in log print

  Ivan-Velickovic

  committed
  e011219

• examples/simple: making the Linux kernel image for Odroid-C4 simpler

  Show description for 707ac9b
  Ivan-Velickovic

  committed
  707ac9b

• examples/simple: fix typo in README

  Ivan-Velickovic

  committed
  4bccd17

• Disable hardening flags in Nix shell

  Show description for 9a8d38e
  Ivan-Velickovic

  committed
  9a8d38e

• Remove old artifacts for Odroid-C4

  Ivan-Velickovic

  committed
  413caba

• examples/simple: Remove hack in Makefile

  Show description for 69ea383
  Ivan-Velickovic

  committed
  69ea383

• examples/simple: Fixing up Zig build script

  Show description for 198c107
  Ivan-Velickovic

  committed
  198c107

• Remove old QEMU ARM virt example system

  Show description for b2067eb
  Ivan-Velickovic

  committed
  b2067eb

• Remove Raspberry Pi 4B+ images until they are in a working state

  Show description for 64282c6
  Ivan-Velickovic

  committed
  64282c6

• Various README cleanup and corrections

  Ivan-Velickovic

  committed
  deac16a

• examples/simple: rename simulate target to qemu

  Ivan-Velickovic

  committed
  59696e7

• ci: minor change in acquire_sdk.sh and add future TODO

  Ivan-Velickovic

  committed
  922308e

• ci: add macOS via Nix testing

  Ivan-Velickovic

  committed
  8057863

• ci: upgrade cachix/install-nix-action

  Show description for 3e4be51
  Ivan-Velickovic

  committed
  3e4be51

• ci: allow workflow to run on forks of the repository

  Ivan-Velickovic

  committed
  c48da26

• Use Zig 0.11.x in Nix shell

  Ivan-Velickovic

  committed
  f47353b

• Remove support for Odroid-C2

  Show description for 37233da
  Ivan-Velickovic

  committed
  37233da

• Remove hack in util.h

  Show description for 1d7d255
  Ivan-Velickovic

  committed
  1d7d255

• examples/simple: getting Zig build system in working state

  Ivan-Velickovic

  committed
  835ac86

• ci: adding testing for examples/simple built via Zig build system

  Ivan-Velickovic

  committed
  9e14faf

• ci: fix path of Zig install

  Ivan-Velickovic

  committed
  086d72f

• ci: also compile simple example for Odroid-C4 via Zig

  Ivan-Velickovic

  committed
  6090d55

• examples/simple: adding Zig instructions to README

  Ivan-Velickovic

  committed
  51ded21

• Fix UB in HSR exception class decoding

  Show description for 849f3fd
  Ivan-Velickovic

  committed
  849f3fd

• examples/simple: various improvements when using Zig build system

  Ivan-Velickovic

  committed
  dea389f

• Remove support for i.MX8MM-EVK

  Show description for b0b8a0e
  Ivan-Velickovic

  committed
  b0b8a0e

• examples/simple: a couple README fixes

  Ivan-Velickovic

  committed
  06fbda4

• ci: add success message and update README

  Ivan-Velickovic

  committed
  b0c0ba7

• examples/simple: add TODO to system description for Odroid-C4

  Ivan-Velickovic

  committed
  a532925

• examples/zig: progress/fixes in build script

  Ivan-Velickovic

  committed
  7ba6ecc

• Remove commented function for starting Linux

  Show description for 3da5fbd
  Ivan-Velickovic

  committed
  3da5fbd

Commits on Sep 23, 2023

• examples/simple: add missing command for building with Zig

  Ivan-Velickovic

  committed
  7f1df52

• Adjust code and READMEs for seL4CP board renaming

  Show description for d5f87dd
  Ivan-Velickovic

  committed
  d5f87dd

• examples/simple: minor cleanup in build.zig

  Ivan-Velickovic

  committed
  14e1305

• examples/zig: some progress

  Ivan-Velickovic

  committed
  c5ab747

• Expose linux_image_header struct definition

  Show description for d9f7980
  Ivan-Velickovic

  committed
  d9f7980

• Add a couple of todos

  Ivan-Velickovic

  committed
  b97bae6

• examples/rust: create example VMM written in Rust

  Ivan-Velickovic

  committed
  92861f5

• Fix string representation of VCPUFault

  Ivan-Velickovic

  committed
  c147d47

• Introduce generic fault handler

  Show description for 519c8d1
  Ivan-Velickovic

  committed
  519c8d1

• examples/simple: minor README fixes

  Ivan-Velickovic

  committed
  9d30478

• examples/rust: clean up and comments

  Ivan-Velickovic

  committed
  d8d58d5

• examples/rust: rename handler

  Ivan-Velickovic

  committed
  37a2cff

• examples/rust: use llvm-ar instead of GNU archiver

  Ivan-Velickovic

  committed
  6962f26

• examples/rust: properly handle searching for libraries for rustc to link with

  Ivan-Velickovic

  committed
  86f2b7e

• Add Rust and llvm-ar to Nix shell

  Ivan-Velickovic

  committed
  1a50eff

• ci: add Rust installation and test examples/rust

  Ivan-Velickovic

  committed
  1483221

• examples/rust: change location of aarch64-sel4cp-minimal.json

  Ivan-Velickovic

  committed
  e97b631

• ci: temporarily clone fork of rust-seL4

  Show description for 9e14300
  Ivan-Velickovic

  committed
  9e14300

• ci: add logging to examples.sh

  Ivan-Velickovic

  committed
  a837b78

• ci: fixing build directory paths when building Rust example

  Ivan-Velickovic

  committed
  49ba9c4

• examples/rust: add README

  Ivan-Velickovic

  committed
  41f42ec

• examples/rust: error handling

  Ivan-Velickovic

  committed
  b8d024c

• examples/rust: remove comments from system description

  Show description for 055450a
  Ivan-Velickovic

  committed
  055450a

• ci: change build directory for Rust example

  Ivan-Velickovic

  committed
  315e85c

• ci: fix printing in examples.sh

  Ivan-Velickovic

  committed
  ebda453

• ci: fix path when cloning rust-seL4 repository

  Ivan-Velickovic

  committed
  a6071f5

• ci: add llvm dependency for llvm-ar

  Ivan-Velickovic

  committed
  ee97171

• examples/rust: fixing how binaries are included in the VMM

  Ivan-Velickovic

  committed
  03bff85

• Fix passing IRQ ack callback data

  Ivan-Velickovic

  committed
  a004fb0

• examples/ethernet: create example for pass-through ethernet

  Ivan-Velickovic

  committed
  9cf7fae

• Create top-level tools/ directory

  Show description for 2b5f820
  Ivan-Velickovic

  committed
  2b5f820

• examples/rust: define rust-seL4 dependency via git

  Show description for 67ab595
  Ivan-Velickovic

  committed
  67ab595

• examples/ethernet: adjusting README

  Ivan-Velickovic

  committed
  0212467

• Add missing dependency (libclang) in Nix shell

  Show description for d4d2eee
  Ivan-Velickovic

  committed
  d4d2eee

• examples/ethernet: updating Linux to v6.1 and configure rootfs for NFS

  Ivan-Velickovic

  committed
  cf61ceb

• manual: fix typo

  Ivan-Velickovic

  committed
  51ead99

• examples/ethernet: update README for QEMU images

  Ivan-Velickovic

  committed
  3c1fb0a

• examples/ethernet: add Odroid-C4 Linux image and config

  Ivan-Velickovic

  committed
  e38b5ec

• examples/simple: set guest_ram_vaddr in system description

  Ivan-Velickovic

  committed
  b694ff8

• examples/rust: update rust-seL4 for latest seL4/seL4CP

  Ivan-Velickovic

  committed
  ea9e6b1

• examples/simple: clean up Zig build

  Ivan-Velickovic

  committed
  ac4a6dd

• ci: making build directory of each example consistent

  Ivan-Velickovic

  committed
  b4e34a1

• examples/simple: simplify string formatting in Zig build

  Ivan-Velickovic

  committed
  3cc5c17

• examples/simple: trying to figure out the final issue with Zig build

  Ivan-Velickovic

  committed
  4d38a86

• examples/ethernet: attempting to get Linux image that correctly

  Show description for c54be51
  Ivan-Velickovic

  committed
  c54be51

• examples/ethernet: update VMM to support Odroid-C4

  Ivan-Velickovic

  committed
  7e486cd

• examples/rust: update rust-seL4 again

  Ivan-Velickovic

  committed
  2f4d704

• Add API for registering virtual memory exception handlers

  Show description for 01c5334
  Ivan-Velickovic

  committed
  01c5334

• Add new example for using pass-through framebuffer

  Ivan-Velickovic

  committed
  01eb338

• tmp fixing fb formatting problem

  

  erichchan999

  authored and

  Ivan-Velickovic

  committed
  01917aa

• WIP: progress on framebuffer example to get in a working condition

  Ivan-Velickovic

  committed
  b7fc80e

• examples/framebuffer: trying to get the example working on QEMU

  Ivan-Velickovic

  committed
  e81f288

• examples/framebuffer: progress towards getting pcie working

  Ivan-Velickovic

  committed
  451c0c4

• examples/framebuffer: fixes to now get Linux booting!

  Ivan-Velickovic

  committed
  220a2f2

• examples/framebuffer: add ethernet device to QEMU command

  Ivan-Velickovic

  committed
  6c351da

• ci: disable simple Zig testing until it is working reliably

  Ivan-Velickovic

  committed
  aa4023f

• ci: try to stop macOS via Nix from failing

  Ivan-Velickovic

  committed
  2f29015

• examples/framebuffer: fixes to have Linux not use serial at all

  Show description for 7610b29
  Ivan-Velickovic

  committed
  7610b29

• examples/framebuffer: remove SD and MMC from system and Linux image

  Show description for 79c6ef0
  Ivan-Velickovic

  committed
  79c6ef0

• examples/framebuffer: fix warning in Linux UIO framebuffer program

  Ivan-Velickovic

  committed
  c741a33

• ci: disable macOS via Nix

  Show description for 687c559
  Ivan-Velickovic

  committed
  687c559

• ci: use older version of Clang/LLVM

  Show description for c57071a
  Ivan-Velickovic

  committed
  c57071a

• enabling uio in linux kernel and disabling MSI for pcie

  

  erichchan999

  authored and

  Ivan-Velickovic

  committed
  53a1526

• examples/framebuffer: update rootfs to not auto-run uio_fb.c

  Ivan-Velickovic

  committed
  314417a

• modified UIO region to allow xres yres and bpp to be stored in map0, no helper functions in uio.h written yet, changes made in QEMU not odroidc4

  

  erichchan999

  authored and

  Ivan-Velickovic

  committed
  80a6cfd

• adding documentation and helper functions for using framebuffer

  

  erichchan999

  authored and

  Ivan-Velickovic

  committed
  eb03abb

• check for struct alignment and refactored helper functions

  

  erichchan999

  authored and

  Ivan-Velickovic

  committed
  c9d3dba

• make uio map0 bigger for config space

  

  erichchan999

  authored and

  Ivan-Velickovic

  committed
  ee35c36

• contains updated uio_fb.elf program with added device configuration functionality, changed startup run order to be last (from S90 to S95)

  

  erichchan999

  authored and

  Ivan-Velickovic

  committed
  87bfbca

• system and dts file for passthrough serial

  

  erichchan999

  authored and

  Ivan-Velickovic

  committed
  2773cf5

• adding vu7c monitor dts file

  

  erichchan999

  authored and

  Ivan-Velickovic

  committed
  4b1a533

• Renaming everything to Microkit

  Show description for 4b2eaac
  Ivan-Velickovic

  committed
  4b2eaac

• examples/simple: temp hack to get Zig build working

  Show description for 8b6f1a0
  Ivan-Velickovic

  committed
  8b6f1a0

• ci: re-enable tests for simple example using Zig build system

  Ivan-Velickovic

  committed
  698deed

• ci: re-enable Zig build system tests for Odroid-C4 simple as well

  Ivan-Velickovic

  committed
  15ce11e

• ci: make job names a bit more brief

  Ivan-Velickovic

  committed
  e57a987

• libvmm: remove old TODO

  Ivan-Velickovic

  committed
  8e31e04

• examples/zig: remove TODO that has its own GitHub issue

  Show description for 9dfb69b
  Ivan-Velickovic

  committed
  9dfb69b

• examples/rust: fixes to compile for release

  Ivan-Velickovic

  committed
  a507328

• ci: enable Rust example for release mode

  Ivan-Velickovic

  committed
  b1833d3

• ci: fix command for running examples script

  Ivan-Velickovic

  committed
  ad15d7b

• ci: fix typo in examples script error message

  Ivan-Velickovic

  committed
  6671788

• examples/rust: removing warnings

  Ivan-Velickovic

  committed
  e1c7936

• Updating README for restructure and various changes

  Ivan-Velickovic

  committed
  4728be0

• Fix in README

  Ivan-Velickovic

  committed
  40172c3

• More fixes and style changes in README

  Ivan-Velickovic

  committed
  2f684da

• examples/rust: use -c with llvm-ar to avoid warning

  Show description for c8aedfa
  Ivan-Velickovic

  committed
  c8aedfa

• Minor style fix in README

  Ivan-Velickovic

  committed
  2541dfc

• Fix in README regarding QEMU dependency

  Ivan-Velickovic

  committed
  7599ebe

• README fix wording

  Ivan-Velickovic

  committed
  e059278

• Fix macOS install instructions in README

  Ivan-Velickovic

  committed
  7dc5a30