benji/hilbert-os
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

update instructions in readme, setup

Browse source
This commit is contained in:
Benji Dial 2024-08-01 16:23:37 -04:00
parent 1cc88f9d7d
commit 573bf7aa71
2 changed files with 7 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
readme.txt
View file

@ -19,13 +19,14 @@ the packages listed below are sufficient.
next, you will need to download and compile some dependencies. the script in next, you will need to download and compile some dependencies. the script in
setup.sh will do this for you. if it sees an environment variables MAKEOPTS, it setup.sh will do this for you. if it sees an environment variables MAKEOPTS, it
will pass the contents of that as arguments to invocations of make. otherwise, will pass the contents of that as arguments to invocations of make. otherwise,
it defaults to "-j$(nproc)". if you nead to clean that setup for any reason, it defaults to "-j$(nproc)".
you can use the script in clean-setup.sh.
now that we have all the dependencies, just run "make". the default target is now that we have all the dependencies, just run "make". the default target is
build/disk.iso, a bios-bootable disk image. you can run "make debug" to start build/disk.iso, a bios-bootable disk image. you can run "make debug" to start
qemu with that disk, and attach gdb to it. you can also use "make clean" to qemu with that disk, and attach gdb to it. you will have to run "continue" (or
remove all of the files that "make" creates. "c" for short) in gdb to let qemu start. consider temporarily changing -O3 to
-Og in the CC_EXTRA_ARGS variable of the makefile temporarily if you want to
do any serious debugging.
acknowledgements (any under "dependencies" are downloaded during build): acknowledgements (any under "dependencies" are downloaded during build):

4
setup.sh
View file

@ -10,14 +10,14 @@ PROJECT_ROOT="$(pwd)"
if [ -e .setup-complete ]; then if [ -e .setup-complete ]; then
echo setup has already completed. refusing to run again. echo setup has already completed. refusing to run again.
echo to run again anyway, delete .setup-complete echo to run again anyway, delete .setup-complete
echo to clean the dependencies, run clean-dependencies.sh echo to undo any previous setup, run clean-setup.sh
exit 1 exit 1
fi fi
if [ -e .setup-started ]; then if [ -e .setup-started ]; then
echo setup has already been started, but failed. refusing to run again. echo setup has already been started, but failed. refusing to run again.
echo to run again anyway, delete .setup-started echo to run again anyway, delete .setup-started
echo to clean the dependencies, run clean-dependencies.sh echo to undo any previous setup, run clean-setup.sh
exit 1 exit 1
fi fi