tree b7ebecd4e84aaa98caf4e61bc556122aa4ff5b34
parent 07848eeefe555fce0e682918e96cfce676871015
author Sam Leffler <sleffler@google.com> 1690307323 -0700
committer Sam Leffler <sleffler@google.com> 1690330177 -0700

matcha/tock: tidy console messages

- pedantic (sel4 -> seL4)
- terminate lines w/ \r\n to avoid console config issues
- remove debug stuff (maybe should be feature-gated)

Change-Id: I1685db52c146ee422b7728ce0c6ec3a3b0deecd1