Some HPE-specific applications require the server id which is only available via a register read. Although it is a u16, the device tree spec only allows either u32 or u64, thus expose it as u32.
Signed-off-by: Tan Siewert <[email protected]> --- board/hpe/gxp/gxp_board.c | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/board/hpe/gxp/gxp_board.c b/board/hpe/gxp/gxp_board.c index 032554649b2..b7c9499eac3 100644 --- a/board/hpe/gxp/gxp_board.c +++ b/board/hpe/gxp/gxp_board.c @@ -92,6 +92,11 @@ int ft_board_setup(void *blob, struct bd_info *bd) char str[64]; int ret; + ret = fdt_setprop_u32(blob, 0, "hpe,server-id", gxp_get_server_id()); + if (ret < 0) + printf("WARNING: could not set server id property: %s\n", + fdt_strerror(ret)); + ret = sysinfo_get(&dev); if (ret) goto skip_sysinfo; --- base-commit: 8d7bc8add17bbc69a58dfe0002eea039dd2dc1bc change-id: 20260923-gxp-pca-id-9db9e636cc09 Best regards, -- Tan Siewert <[email protected]>
