bunnie 284e639453 adjust xtask default features ... - dabao now includes debug-proc by default - gdb-stub now passes to both kernel and user programs, so that uart switching can be achieved - print-panics activated in the kernel, so we can see the panic messages. They had disappeared for a while, and didn't notice.		2026-01-14 03:10:17 +08:00
..
app_manifest.rs	fix missing api in precursor target from previous PR	2025-09-21 23:33:37 +08:00
builder.rs	Merge pull request #712 from betrusted-io/dabao-console-default	2025-11-01 19:08:29 +08:00
main.rs	adjust xtask default features	2026-01-14 03:10:17 +08:00
utils.rs
verifier.rs	update verifier pins	2026-01-08 03:11:45 +08:00
versioning.rs	clarify missing timestamp	2025-11-27 12:33:26 +08:00