.highlight .hll { background-color: #ffffcc }
.highlight .c { color: #888888 } /* Comment */
.highlight .err { color: #a61717; background-color: #e3d2d2 } /* Error */
.highlight .k { color: #008800; font-weight: bold } /* Keyword */
.highlight .ch { color: #888888 } /* Comment.Hashbang */
.highlight .cm { color: #888888 } /* Comment.Multiline */
.highlight .cp { color: #cc0000; font-weight: bold } /* Comment.Preproc */
.highlight .
# beaglebone-ai64 has a k3r5 BBMULTICONFIG to build its bootloader
# and firmware, need to use an override to set DEFAULTTUNE back to
# what that machine configuration needs.
DEFAULTTUNE:k3r5 = "armv7athf"
