metta-systems
/
vesper
1
1
Fork 0
Code Issues 2 Pull Requests Releases Wiki Activity
193 Commits 6 Branches 1 Tag 5 MiB
Commit Graph

18 Commits

Author SHA1 Message Date
Berkus Decker b26d61cb67 build: 🛠 Improve Justfile help output 
Enter `just` to see a list of available commands
with explanations.

Added `just ci` step.
Added `just fmt-check`.
Removed unnecessary kernel file removals.
Moved sdeject task and added `just device-eject`.
 2022-01-23 16:03:03 +02:00
Berkus Decker af3dc82c76 docs(readme): 📚 Fix kernel type terminology 
While Vesper strives to be as thin as possible
it's not exactly an exokernel, but it's a very
thin microkernel, dubbed nanokernel here.
 2022-01-23 16:03:03 +02:00
Berkus Decker dc2a73f6c6 Provide memory intrinsics via compiler builtins 
Use unstable feature to remove rlibc crate dependency.
 2020-11-14 17:33:43 +02:00
Berkus Decker 79028dba96 Add nm helper target 2020-11-04 22:24:39 +02:00
Berkus Decker d38661b63f Add openocd/gdb targets to makefile 
Refactor build system scripts a bit.
 2020-11-03 19:29:43 +02:00
Berkus Decker 1fedc95d42 Add JTAG documentation 
This is old and tried docs from my RPi debugging setup with JTAG,
the next chapter with probe.rs is to be written.
 2020-11-02 20:55:18 +02:00
Berkus Decker 1f9565b239 Add deps.rs dependency status badge 2020-10-25 03:46:13 +03:00
Berkus Decker 6c5d7a13fc Add more information to READMEs 
https://scarfolk.blogspot.com/
 2020-10-21 05:52:08 +03:00
Berkus Decker c823b42447 Update license identification 2020-10-17 22:32:16 +03:00
Berkus Decker 7e4bf75495 Add README section about disasm 
Change section headings for better visibility.
 2020-10-07 23:11:29 +03:00
Berkus Decker bd428133d9 Add license scan badge 2020-10-07 14:53:41 +03:00
Berkus Decker 4f616302d5 Add gitpod config 
this commit adds support for Gitpod.io, a free automated
dev environment that makes contributing and generally working on GitHub
projects much easier. It allows anyone to start a ready-to-code dev
environment for any branch, issue and pull request with a single click.
 2020-10-07 13:47:26 +03:00
Berkus Decker af1cc83530 Add testing framework 
Based on os.phil-opp.com ideas it includes running test framework in
qemu semihosting mode so that tests can indicate pass or fail to calling
process.

GitHub Actions are configured to run these tests and validate acceptance.

Add test-runner target to perform tests in qemu.

Add -nographic for qemu running tests.

Drop serial for qemu tests as well.
 2020-10-06 19:27:50 +03:00
Berkus Decker 33722e895f Explain rust version requirements in README 2020-10-06 19:27:49 +03:00
Berkus Decker a4a3289712 Add GH Actions build workflow 2020-08-10 00:34:49 +03:00
Berkus Decker 8bacc7cfb7 Update build/boot instructions 2020-08-09 22:00:36 +03:00
Berkus Decker 1e2878dca6 Describe branching strategy 2020-08-09 19:33:34 +03:00
Berkus Decker a57833d2b1 Add basic structure 
* Add default License
* Keep a changelog
* Add Code of Conduct
* Build tests as optimized for size ('s')
  * Otherwise boot code goes bonkers in qemu
 2020-08-09 19:33:34 +03:00