**** BEGIN LOGGING AT Sat Aug 10 02:59:58 2013 Aug 10 15:45:42 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? **** ENDING LOGGING AT Sun Aug 11 02:59:58 2013