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.
6 * Copyright (c) 2021, Chris Morgan <macromorgan@hotmail.com>
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",