| The "generic_riscv64" product defines a non-hardware-specific riscv64 target | |
| without a bootloader. | |
| It is also the target to build the generic kernel image (GKI). | |
| It is not a product "base class"; no other products inherit | |
| from it or use it in any way. |