search

Harvey-OS / harvey

A distributed operating system
https://harvey-os.org/
MIT License
1.44k stars 105 forks source link

devshr: changes to get it building in harvey #1125

Closed gmacd closed 3 years ago

gmacd commented 3 years ago

Made changes to get devshr building in harvey.

Changed the device dc from #σ to #h to make easier to work with.