U-Boot distinguse between DE0 and DE10


Thanks to the nice Tutorial here, I’m able to compile my own u-boot script.

I’m using two different boards (DE0 nano SoC and DE10 nano SoC) sharing the same SD cards.
They have different FPGAs and therefore need different .rbf files.

Now I would like to check the board automatically in U-Boot and load the correct .rbf file.

My problem is only, that I cannot find any variable or function to distinguish on which of those two boards I’m running.

Is there a kind of environment variable or already existing solution to do this?