Harvey-OS / harvey

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

Merge in recent changes from plan9port #1184

Closed dancrossnyc closed 2 years ago

dancrossnyc commented 2 years ago

Bring in two of Russ's changes from plan9port, making minor fixes to both sam and acme.

Note I added plan9port as a remote to my Harvey repository, and just cherry-pick'ed these commits.