[15:45] <Tassadar_> hi, is there somebody who knows how ARM kernels boot? "params_phys" is not defined in Makefile.boot for my device, does that mean it doesn't use atags or is some default value used?