Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 13, 2024

• Cleanup vGIC fault handling code

  Show description for e34599d
  Ivan-Velickovic

  committed
  e34599d

• examples/rust: update to latest rust-sel4

  Show description for 327ecfd
  Ivan-Velickovic

  committed
  327ecfd

Commits on Aug 8, 2024

• Update to latest sDDF

  Show description for a7f9ba1
  Ivan-Velickovic

  committed
  a7f9ba1

Commits on Aug 7, 2024

• shell.nix: remove old dependency

  Show description for 7d80b1d
  Ivan-Velickovic

  committed
  7d80b1d

• examples/virtio: README fixes

  Show description for 51b1c8f
  Ivan-Velickovic

  committed
  51b1c8f

• ci: partially enable virtIO example and enable it for macOS

  Show description for 8c532bc
  Ivan-Velickovic

  committed
  8c532bc

• shell.nix: add dependencies for virtIO example

  Show description for 682e0ef
  Ivan-Velickovic

  committed
  682e0ef

• mkvirtdisk: Support for macOS

  Show description for 0b63a7f
  

  erichchan999

  authored and

  Ivan-Velickovic

  committed
  0b63a7f

• mkvirtdisk: Add check for dosfstools

  Show description for 01bdba6
  

  erichchan999

  authored and

  Ivan-Velickovic

  committed
  01bdba6

• mkvirtdisk: Handle fdisk offset issue

  Show description for d13698b
  

  erichchan999

  authored and

  Ivan-Velickovic

  committed
  d13698b

• mkvirtdisk: Silence dd stderr msgs

  Show description for 37578e3
  

  erichchan999

  authored and

  Ivan-Velickovic

  committed
  37578e3

• Remove left over file from rename

  Show description for c05821b
  Ivan-Velickovic

  committed
  c05821b

Commits on Aug 6, 2024

• Update to sDDF release 0.5.0

  Show description for b1c98f6
  Ivan-Velickovic

  committed
  b1c98f6

• ci: add license check

  Show description for 15b9ee6
  Ivan-Velickovic

  committed
  15b9ee6

• Add licenses to comply with REUSE specification

  Show description for ef98274
  Ivan-Velickovic

  committed
  ef98274

• examples/virtio-snd: fix VCPU for Microkit 1.4.0

  Show description for a3619c4
  

  alexandermbrown

  authored and

  Ivan-Velickovic

  committed
  a3619c4

• Various README fixes

  Show description for b34ec40
  Ivan-Velickovic

  committed
  b34ec40

• README: don't enforce --pure for Nix

  Show description for 6625996
  Ivan-Velickovic

  committed
  6625996

• README: fix typo

  Show description for 2ddcef8
  Ivan-Velickovic

  committed
  2ddcef8

• Move to Microkit 1.4.0

  Show description for 7751dc5
  Ivan-Velickovic

  committed
  7751dc5

Commits on Aug 5, 2024

• examples/virtio-snd: use Makefile snippets

  Show description for ed829be
  

  alexandermbrown

  authored and

  Ivan-Velickovic

  committed
  ed829be

• examples/virtio: use Makefile snippets

  Show description for 37c4c57
  

  alexandermbrown

  authored and

  Ivan-Velickovic

  committed
  37c4c57

• Move manual dependencies into separate Nix shell

  Show description for a3f1ffc
  Ivan-Velickovic

  committed
  a3f1ffc

Commits on Aug 2, 2024

• Add missing space

  Show description for ae6d8c3
  

  wom-bat

  authored and

  Ivan-Velickovic

  committed
  ae6d8c3

• Make -I from SDDF and LIBVMM conditional

  Show description for 3a00e03
  

  wom-bat

  authored and

  Ivan-Velickovic

  committed
  3a00e03

Commits on Jul 30, 2024

• Implement virtIO net device

  Show description for 00e41bb
  

  2 peopleauthored and

  Ivan-Velickovic

  committed
  00e41bb

• style: virtIO sound.c and sound.h

  Show description for f2601a6
  Ivan-Velickovic

  committed
  f2601a6

• style: virtIO console.c and console.h

  Show description for 560a903
  Ivan-Velickovic

  committed
  560a903

• Move macro definition util.h

  Show description for f011fb3
  Ivan-Velickovic

  committed
  f011fb3

• Use bool for callbacks in virtIO devices

  Show description for f3c6a33
  Ivan-Velickovic

  committed
  f3c6a33

• Remove outdated comments

  Show description for c2a83dc
  Ivan-Velickovic

  committed
  c2a83dc

Commits on Jul 22, 2024

• Fix style for virtio/block.c and uio_tools/blk.c

  Show description for 9dcf440
  Ivan-Velickovic

  committed
  9dcf440

• blk: rename size to capacity

  Show description for 6f51b05
  

  alexandermbrown

  authored and

  Ivan-Velickovic

  committed
  6f51b05

• Update serial config to new syntax

  Show description for bb04bb2
  

  alexandermbrown

  authored and

  Ivan-Velickovic

  committed
  bb04bb2

• Update sDDF commit

  Show description for 743cf33
  

  alexandermbrown

  authored and

  Ivan-Velickovic

  committed
  743cf33

Pagination

PreviousNext