1 // SPDX-License-Identifier: GPL-2.0+
3 * The 'kaslrseed' command takes bytes from the hardware random number
4 * generator and uses them to set the kaslr-seed value in the chosen node.
14 #include <fdt_support.h>
16 static int do_kaslr_seed(struct cmd_tbl *cmdtp, int flag, int argc, char *const argv[])
18 int err = CMD_RET_SUCCESS;
20 printf("Notice: a /chosen/kaslr-seed is automatically added to the device-tree when booted via booti/bootm/bootz therefore using this command is likely no longer needed\n");
23 printf("No FDT memory address configured. Please configure\n"
24 "the FDT address via \"fdt addr <address>\" command.\n"
26 err = CMD_RET_FAILURE;
28 if (fdt_kaslrseed(working_fdt, true) < 0)
29 err = CMD_RET_FAILURE;
32 return cmd_process_error(cmdtp, err);
35 U_BOOT_LONGHELP(kaslrseed,
37 " - append random bytes to chosen kaslr-seed node\n");
40 kaslrseed, 1, 0, do_kaslr_seed,
41 "feed bytes from the hardware random number generator to the kaslr-seed",