GitHub repository: sduverger/secos
Primary language: C
Created: 2018-07-04T12:52:49Z
Description: educational x86 kernel