0b46382a56
Formatting
99b9c7533d
Cleaner assembly formatting string, syscall length checking
3ae2dac658
Configuring some common formatters
6e5d407f7b
Using gmake instead of make for *BSD compat
d5ec1083d3
Porting to new API
eb41bede5e
Mass reformat
c55321e6f1
Fix formatting target
b5bb0bc2ca
Yeet unused stuff
022dffc9a4
Template
0a18980aa3
Template fix
e1d1138653
Stuff from demos
1515fcd2cf
Format metatarget
e13dce000a
Default options in config.mk, test targets
9f92308131
Add test target in meta makefile
46201bbf59
Makefile fix
b8b8f58fee
Cleaning up init, splitting out banner to separate header.
bae44d0333
Halt system on shell exit
146e7f65ca
Halt syscall and userspace util. Mapped qemu power.
e94eecd9a1
Better hart startup indicators