Home Explore Help
Sign In
RISCI_ATOM
/
harvey
mirror of https://github.com/Harvey-OS/harvey.git
1
0
Fork 0
Files Issues 0 Wiki
Branch: main
Branches Tags
harvey
/
build
John Floren 5b517f23e7 Don't bother building man pages and indexes, they are already built. 2 years ago
..
scripts 5b517f23e7 Don't bother building man pages and indexes, they are already built. 2 years ago
.gitignore 4af32c639c Implement some really, really basic Github Actions stuff 3 years ago
9-cc.patch af41f55462 Wrap Ron's build scripts in a Dockerfile 3 years ago
BUILD_IN_DOCKER 314098d3a8 Build from a local folder if it's been mounted by docker 3 years ago
Dockerfile 314098d3a8 Build from a local folder if it's been mounted by docker 3 years ago
README d5f972f1da Implement a build system based on 9legacy's scripts (9legacy.org/magic/webls?dir=/www.9legacy.org/9legacy/build) 3 years ago
RUNCOREBOOT 04e5e89aff Add runcoreboot script so we can experiment with UEFI failure 2 years ago
bind 33c5da8024 Add version of bind to wrap mount (for linux builder) 3 years ago
build-go.sh a55000654a clean up some stuff after compilation to keep image size down (#1167) 3 years ago
build-usb.bash 94b3007868 Enable build scripts to run on mac (without kvm) 2 years ago
build.bash 94b3007868 Enable build scripts to run on mac (without kvm) 2 years ago
command.bash 1ed16f95c6 Tweak startup - better display defaults, start edwood instead of acme 3 years ago
make.bash 1ed16f95c6 Tweak startup - better display defaults, start edwood instead of acme 3 years ago
mkdirs 671fd3a58a Add support for using u-root 3 years ago

README

To build on Linux, run `bash build.bash` *from within* the build directory. You'll need to run `ufs` or `centre` on the host, serving 9P over port 5640; the finished ISO will be dropped onto that 9P service.

To build on Plan 9, just do the steps in build.bash manually (basically, bind the Harvey source to /n/harvey and run the individual scripts)