Searched refs:kernel_size (Results 1 – 1 of 1) sorted by relevance
61 kernel_size = os.path.getsize(args.kernel)66 print(" kernel binary size:", kernel_size)67 kern_rdup_pg_size = roundup_page(kernel_size)92 f.write(b'\x00' * (kern_rdup_pg_size * PAGE_SIZE - kernel_size))