search

dthain / basekernel

A simple OS kernel for research, teaching, and fun.
GNU General Public License v2.0
804 stars 109 forks source link

Update GitHub build workflow. #294

Closed dthain closed 11 months ago