46a31b8efa
Merge pull request 'update main 21.11.23' (#2) from Bananymous/banan-os:main into main
85a5e81224
BuildSystem: Check value of BANAN_UEFI_BOOT with `if ((...)); then`
7d4cdcd1fd
BuildSystem: Add missing bootloader install script
BuildSystem: custom mount directory for bananos image to avoid conflicts
If we change to custom mount point I think it should be within this repo. Maybe $BANAN_BUILD_DIR/mnt? That way there is no way to leave random directory in root.
this is now done.
Custom mount directory for bananos image
a6a5c00763
Merge pull request 'update main' (#1) from Bananymous/banan-os:main into main
f2397b775c
BuildSystem: Remove old bootloader target
8b81406b81
Toolchain: Build full toolchain with one call to toolchain/build.sh
e2515c1109
Buildsystem: default bootloader is not my custom one
5293ae070d
Kernel: ProcFS inodes reflect processes ruid/rgid
Check env var is set explicitly in the beginning?
Prefer unambiguous mount point