Devel February 2021

devel@sel4.systems
  • 6 participants
  • 10 discussions

gic v2 vs gic v3
by Chris Koziarz
3 months, 1 week

hello_rumprun app not worked
by MOHAMAD REZA SHAFIEI
4 months, 1 week

MMC wait after second command in intialization with mmc_init
by MOHAMAD REZA SHAFIEI
4 months, 1 week

Reducing memory footprint - RISC-V
by porter.188@osu.edu
6 months

Ethernet device module for odroidc2
by ogosinkem@gmail.com
7 months, 3 weeks

Sporadic Server Implementation Details
by msudvarg@wustl.edu
8 months, 1 week

Use sel4 and mmc for storage but sdhc driver wait for SDHC_PRES_STATE_CIHB | SDHC_PRES_STATE_CDIHB
by MOHAMAD REZA SHAFIEI
8 months, 1 week

Public seL4 TSC meeting on Fri, 12 Feb
by Gerwin Klein
8 months, 1 week

Public TSC meeting on Fri, 29 Jan
by Gerwin Klein
8 months, 1 week

Errors while running Virtual Machines on SeL4;
by Jorge Pereira
8 months, 2 weeks
Results per page: