List view
Port kernel to work on PineBook PRO
No due datePort OS kernel to Raspberry Pi4
No due dateExtend scheduler to support several cores, user space and other major improvements
Overdue by 4 year(s)•Due by February 28, 2021•0/1 issues closedIntroduce Ethernet and BSD sockets
Overdue by 5 year(s)•Due by November 30, 2020Define common driver interface and implement input from the keyboard and output to the screen
Overdue by 5 year(s)•Due by August 31, 2020•1/1 issues closed