IRC #olimex 2018-11-03

[07:49:11] <xcko> so in this example boot.scr given on the debian wiki, I see a load line for vmlinuz - is that a regular kernal image from linux-version/arch/arm64/boot/Image? or is it modified by u-boot tools?
[09:27:02] <xcko> oh I see that it is a regular kernel image. nvm