james
/
bootproof
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
An x86_64 UEFI operating system.
2 Commits
1 Branch
0 Tags
237 KiB
Rust 98.7%
Shell 1.3%
 
 
Go to file
James T. Martin 0ef35c4653
Exit UEFI boot services and halt. 
* Add editorconfig.
* Add emacs backup files to gitignore.
* Use x86_64 package instead of raw asm.
* Set rust toolchain to default to nightly.
* Add support for release builds to run.sh.
* Mention minimum system requirements to README.
 		2020-07-13 17:39:19 -07:00
src Exit UEFI boot services and halt. 2020-07-13 17:39:19 -07:00
.editorconfig Exit UEFI boot services and halt. 2020-07-13 17:39:19 -07:00
.gitignore Exit UEFI boot services and halt. 2020-07-13 17:39:19 -07:00
Cargo.lock Exit UEFI boot services and halt. 2020-07-13 17:39:19 -07:00
Cargo.toml Exit UEFI boot services and halt. 2020-07-13 17:39:19 -07:00
README.md Exit UEFI boot services and halt. 2020-07-13 17:39:19 -07:00
run.sh Exit UEFI boot services and halt. 2020-07-13 17:39:19 -07:00
rust-toolchain Exit UEFI boot services and halt. 2020-07-13 17:39:19 -07:00

README.md

bootproof

Messing around with UEFI apps.

I don't have a specific goal here. My general direction is to work towards a bootable programming language environment, preferably one where security and allocation etc. are handled through the programming language rather than through a traditional operating system. I don't seriously expect to ever accomplish that, so for now I'm probably just going to... make a forth or something.

System Requirements

Other configurations may work, but only these systems are regularly tested.

  • CPU: x86_64 QEMU, OVMF UEFI.
  • Memory: 128 MB. (64 MB appears to be the minimum required to load OVMF at all. Real hardware might require less?)

Running

bootproof runs on x86_64 UEFI. You may either boot the program directly on your own computer or use an emulator.

Make sure you have the cargo-xbuild crate installed and nightly Rust so you can compile to the UEFI target.

First, build with:

cargo xbuild --release --target x86_64-unknown-uefi

And to run, ./run.sh will launch bootproof in QEMU.