boot: Use C escape sequence for control chars
authorJan Janssen <medhefgo@web.de>
Fri, 6 Jan 2023 16:07:23 +0000 (17:07 +0100)
committerJan Janssen <medhefgo@web.de>
Tue, 21 Feb 2023 13:44:53 +0000 (14:44 +0100)
commitb3e25576290820f16181d7921498caf527b574b3
treebbb4dedc6bc0a99ab27f7ae29e2ed9061aa98f77
parent65d40db7de6b104ab020850272b59df1e6415cd3
boot: Use C escape sequence for control chars

This makes things less magical by emphasizing that these are just
regular ascii/unicode chars.
src/boot/efi/boot.c