Field G. Van Zee

@kali Thanks for taking this initiative, Mathieu. However, for the uninitiated among us, including myself, can you explain what "vfp" is? I'm a little shaky on my ARM nomenclature.

@kali Thanks for all of that information, Mathieu. I like the idea of renaming the armv7a kernel set. I also like that you called it a "kernel set," as it...

@kali I'm fine with you combining the renaming into this PR (if you like). Before doing so, however, would you mind laying out your proposed renaming scheme here so I...

@kali Thanks for your comments. I meant to chime in on this thread earlier. Sorry for the delay. >Unfortunately armv7a do not specify such a thing. The FPU unit can...

> Beyond the "do we care about unreachable code compiled with wrong options" question you raise, how would this work when targetting the whole arm32 family ? We would have...

@kali Sorry for the delay. We've been swamped. Thanks for clearly laying out our choices. I think the added functionality described in 2nd, 3rd, and 4th bullets would go vastly...

@kali BTW, I asked @figual to review this thread. He agrees that we could use separate kernel sets for vpu and neon. Let me know when you're ready to proceed....

@kali Are you ready for me and others to review what you've done? It's fine if you'd like more time.

Thanks @kali. I'm taking some time off, and we're also preparing a new journal article submission. It may be later this week or early next when I take a look...

@kali Another update: I'm getting slammed with high-priority items, so it'll be another bit before I can review this PR. Thanks for your patience.