Issues

SPI driver
Componolit/gneiss#187 · opened on Jun 17, 2020
Run checkers on cement
Componolit/gneiss#185 · opened on Jun 10, 2020
Global platform state for volatile inputs
Componolit/gneiss#174 · opened on May 19, 2020
Matrix Demo
Componolit/gneiss#170 · opened on May 8, 2020
Fix file descriptor leaks
Componolit/gneiss#162 · opened on Mar 24, 2020
Consolidation
Componolit/gneiss#159 · opened on Mar 23, 2020
1
Interrupt interface
Componolit/gneiss#152 · opened on Feb 20, 2020
RTC interface
Componolit/gneiss#151 · opened on Feb 20, 2020
Font rendering
Componolit/gneiss#150 · opened on Feb 20, 2020
Timer driver for nRF52832
Componolit/gneiss#149 · opened on Feb 20, 2020
I2C interface
Componolit/gneiss#148 · opened on Feb 20, 2020
Framebuffer driver
Componolit/gneiss#147 · opened on Feb 20, 2020
Set up/document programming infrastructure for PINETIME
Componolit/gneiss#146 · opened on Feb 20, 2020
3
Framebuffer interface
Componolit/gneiss#145 · opened on Feb 20, 2020
I2C driver for nRF52832
Componolit/gneiss#144 · opened on Feb 20, 2020
Genode implementation templates
Componolit/gneiss#139 · opened on Feb 7, 2020
Asnychronous server dispatching
Componolit/gneiss#137 · opened on Jan 24, 2020
Restrict components
Componolit/gneiss#134 · opened on Jan 14, 2020
1
Stdio exec component
Componolit/gneiss#128 · opened on Dec 10, 2019
Consolidate CI proofs
Componolit/gneiss#112 · opened on Oct 28, 2019
Event handler termination guarantee
Componolit/gneiss#98 · opened on Sep 26, 2019
Run multiple components in one "process"
Componolit/gneiss#97 · opened on Sep 25, 2019
6
IO memory interface
Componolit/gneiss#94 · opened on Sep 19, 2019
1
Proof platform
Componolit/gneiss#86 · opened on Aug 21, 2019
Proof of tests and platform code
Componolit/gneiss#80 · opened on Aug 7, 2019
2