Add -NODEBUG variant of GENERIC-MMCCAM kernel configuration.

[rwatson]

Summary

This is the same as GENERIC-MMCCAM but including GENERIC-NODEBUG as the
baseline. This is the kernel configuration we plan to use in Cambridge's
L41 course.

[rwatson]

Update comment for new kernel name.

[jrtc27]

Hm, my instinct would be to make it include GENERIC-MMCCAM instead and then turn of debugging, especially given the name.

[debdrup]

In D28091#627733, @jrtc27 wrote:

Hm, my instinct would be to make it include GENERIC-MMCCAM instead and then turn of debugging, especially given the name.

This isn't a bad idea.
However, it's been my experience that if you use KERNCONF for the (build)kernel target in make, you have to have KERNCONF="GENERIC GENERIC-NODEBUG GENERIC-MMCCAM" before you can run the installkernel target with KERNCONF=GENERIC-MMCCAM - that fun little experience has bitten me a few times too many. :)

[rwatson]

In D28091#627733, @jrtc27 wrote:

Hm, my instinct would be to make it include GENERIC-MMCCAM instead and then turn of debugging, especially given the name.

I also thought about this. However, the reason I didn't do this is that I suspect it's more likely that people updating GENERIC and GENERIC-NODEBUG will forget to update GENERIC-MMCCAM-NODEBUG than that people modifying GENERIC-MMCCAM will forget to update GENERIc-MMCCAM-NODEBUG. I.e., when someone adds a new "options foo" debugging feature, I fear that they will be more likely to miss some arm64-local config variations.

[andrew]

We could split out the -NODEBUG options to std.nodebug then include that from both here and GENERIC-NODEBUG

[jrtc27]

In D28091#629163, @andrew wrote:

We could split out the -NODEBUG options to std.nodebug then include that from both here and GENERIC-NODEBUG

That's what we do downstream for CHERI-RISC-V (though with an uppercase NODEBUG to match the names of the kernel configs), and we've been meaning to upstream a std.NODEBUG (which should probably be in sys/conf, and if architectures really have additional options to disable they can have a sys/arch/conf/std.NODEBUG that includes and extends it), and possibly also add a std.DEBUG (which might make re@'s job easier?).

[andrew]

Something like D28152

[andrew]

After R10:6eebda3bbad9 you can replace this with:

include GENERIC-MMCCAP
include "../../conf/std.nodebug"

ident GENERIC-MMCCAM-NODEBUG

I added the CAM debug options to std.nodebug so they shouldn't be needed.

[rwatson]

Following R10:6eebda3bbad9, update this patch to use std.nodebug, which is
much preferred.