Harvey-OS / harvey

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

Build harvey on unix in docker #1191

Closed gmacd closed 3 years ago

gmacd commented 3 years ago

Build harvey in unix. It tries to build 386 and amd64, but it doesn't get all the way there. A lot does get built though, so it could be a decent starting point. The ultimate aim is to be able to build harvey successfully in unix, allowing us to create builds in CI.

This PR contains a number of changes: