Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 7, 2022

• SCHED0022: do not request unnecessary refills

  Show description for 07784de
  lsf37

  committed
  07784de

Commits on Jul 17, 2022

• Clarify choice of illegal instruction encoding

  Show description for f16317d
  

  ahmedcharles

  authored and

  kent-mcleod

  committed
  f16317d

Commits on Mar 10, 2022

• cmake: create script only if SIMULATION is enabled

  Show description for ecaf208
  

  ichdream

  authored and

  lsf37

  committed
  ecaf208

Commits on Feb 6, 2022

• arm: Alias arm_hyp to aarch32

  Show description for 989759f
  kent-mcleod

  committed
  989759f

• arm: Use constants instead of magic numbers

  Show description for 9adad93
  kent-mcleod

  committed
  9adad93

Commits on Dec 9, 2021

• scheduler: Increase timeout period when simulating (#63)

  Show description for 62d8d06
  kent-mcleod

  authored
  62d8d06

Commits on Dec 8, 2021

• scheduler: Enable SCHED0000 on riscv

  Show description for fae7635
  

  kent-mcleod

  authored and

  lsf37

  committed
  fae7635

• scheduler: Attempt to make SCHED0000 less flaky

  Show description for 1b40a3e
  

  kent-mcleod

  authored and

  lsf37

  committed
  1b40a3e

Commits on Dec 2, 2021

• TK1 has KERNEL_WCET of 100 instead of 10

  Show description for de831ca
  

  Indanz

  and

  lsf37

  committed
  de831ca

Commits on Nov 29, 2021

• Add MIN_BUDGET tests

  Show description for b572953
  

  Indanz

  authored and

  lsf37

  committed
  b572953

• Add test for race in seL4 issue 633

  Show description for 0ce13fc
  

  Indanz

  authored and

  lsf37

  committed
  0ce13fc

Commits on Oct 25, 2021

• TIMER0001: Reduce test time to 3 seconds

  Show description for 110ad99
  

  kent-mcleod

  authored and

  lsf37

  committed
  110ad99

Commits on Sep 30, 2021

• cache: Remove reference to ARMv6 in test

  Show description for 950f9ac
  kent-mcleod

  committed
  950f9ac

• .github: Remove ARMv6 tests

  Show description for c721a8a
  kent-mcleod

  committed
  c721a8a

Commits on Sep 7, 2021

• Allow Lazy SC Rebind

  Show description for 403fa55
  

  Indanz

  authored and

  lsf37

  committed
  403fa55

Commits on Aug 28, 2021

• add missing return statement

  Show description for f65e92d
  

  axel-h

  authored and

  lsf37

  committed
  f65e92d

Commits on Aug 27, 2021

• github: trigger main test on push to master (#48)

  Show description for ef444eb
  lsf37

  authored
  ef444eb

Commits on Aug 23, 2021

• switch off tests that are flaky under simulation

  Show description for a9d3d68
  lsf37

  committed
  a9d3d68

Commits on Aug 13, 2021

• CACHEFLUSH: Add test for flushing when retyping

  Show description for 2959436
  

  kent-mcleod

  authored and

  lsf37

  committed
  2959436

Commits on Jul 6, 2021

• Add GitHub action for sel4test simulation

  Show description for dde19b6
  lsf37

  committed
  dde19b6

Commits on Jun 19, 2021

• riscv: disable huge page for rocketchip

  Show description for 53e5fba
  

  ruizjuanpablo

  authored and

  kent-mcleod

  committed
  53e5fba

Commits on May 28, 2021

• schedcontext: Fix SCHED_CONTEXT_0012 test

  Show description for 5d607ee
  

  Damon Lee

  authored and

  nomadeel

  committed
  5d607ee

Commits on May 15, 2021

• Fix timer requirement for scheduling context tests

  Show description for 9d7c377
  

  alexf91

  authored and

  kent-mcleod

  committed
  9d7c377

Commits on May 13, 2021

• trivial: Remove comment that no longer applies

  Show description for ae6931e
  xurtis

  committed
  ae6931e

• Ensure server prio greater than client for timeout

  Show description for fe6f489
  xurtis

  committed
  fe6f489

Commits on May 12, 2021

• Increase execution time for SCHED0014

  Show description for a57923b
  xurtis

  committed
  a57923b

Commits on Apr 6, 2021

• trivial: change cpio_get_file type

  Show description for 4d0932c
  

  Oliver Scott

  authored and

  oliver-wm

  committed
  4d0932c

Commits on Mar 9, 2021

• settings.cmake: Use OpenSBI instead of BBL

  Show description for 268ed02
  

  alistair23

  authored and

  Oliver Scott

  committed
  268ed02

Commits on Feb 4, 2021

• Pass KernelSel4Arch for simulation settings

  Show description for 735fcbf
  xurtis

  committed
  735fcbf

Commits on Dec 7, 2020

• SPDX license identifiers and seL4 Foundation setup

  Show description for cc9948e
  lsf37

  committed
  cc9948e

Commits on Oct 28, 2020

• trivial: correct format specifiers smmu test

  Show description for e626976
  

  Oliver Scott

  authored and

  Oliver Scott

  committed
  e626976

Commits on Oct 26, 2020

• trivial: Move smmu tests to separate file

  Show description for c7517e6
  

  Oliver Scott

  authored and

  Oliver Scott

  committed
  c7517e6

• testing the vspace unmapp/deletion

  Show description for fc6fd08
  

  Qian Ge

  authored and

  Oliver Scott

  committed
  fc6fd08

• SMMU: probing fault status

  Show description for e805018
  

  Qian Ge

  authored and

  Oliver Scott

  committed
  e805018

• SMMU: testing SID/CB control cap deletiong

  Show description for 39f448c
  

  Qian Ge

  authored and

  Oliver Scott

  committed
  39f448c

Pagination

PreviousNext