Bash kernel example
Tweak formatting of messaging examples