Various type and name fixups. - Githubissues

dthain / basekernel

A simple OS kernel for research, teaching, and fun.

GNU General Public License v2.0

805 stars 109 forks source link

Various type and name fixups. #216

Closed dthain closed 5 years ago