seL4/capdl

Issues

• find_device_object can be exteremely inefficient

  #65 opened 4 months ago by chrisguikema
  0

• Is a TCB's fault endpoint slot fixed?

  #64 opened 7 months ago by Ivan-Velickovic
  8

• Can't produce a static binary for parse-capDL

  #63 opened 7 months ago by Ivan-Velickovic
  2

• replace `nose` with newer testing framework

  #31 opened a year ago by lsf37
  0

• CONFIG_VTX checked within CONFIG_ARCH_ARM block?

  #54 opened a year ago by axel-h
  1

• capdl_spec.c: Remove seL4_libs dependencies from generated spec

  #48 opened 2 years ago by kent-mcleod
  2

• parse-capDL creates invalid dot file

  #22 opened 3 years ago by axel-h
  2

• capdl-loader-app RISC-V rv32 warning that left shifts exceed size

  #24 opened 3 years ago by axel-h
  1

• do branch maintenance

  #20 opened 3 years ago by axel-h
  6

• Failed to setup the stack in Debian Stretch

  #2 opened 4 years ago by decaprox
  1