Need to know the ARM version to understand sctlr_el*?

I was working on the exercises for lesson 2. I notices that different arm v8 versions (v8.0, v8.1, v8.2, v8.3) have different reserve bits. From looking at the ARMv8 documentation, I think I can deduce the that the PI is arm v8.0 based on the values that are set to 1 in the example. I though it would be helpful to point this out when mentioned the link to the ARM documentation so that one could correctly interpret the table. I did try to look up the ARM version of a Raspberry PI 3+, but I didn't find any clear documentation.

Could you add a blurb in the "Switching to EL1" section stating that the ARM version is 8.0? (assuming I've got that right)?

Thanks, Paul

@paulelong Accordingly to this document Coterxt-a53, which is used in the RPi model 3, uses ARM v8.0-A architecture profile. So yes, you got it right. So if you stick with the AArch64-Reference-Manual, which is referenced in the tutorial, everything should work for you. However, I think it still would be a good idea to highlight the exact version in the lesson.