So far this is hardcoded to zero, and we should read the value from
mhartid CSR and pass it to Linux kernel.
Suggested-by: Lukas Auer <lukas.auer@aisec.fraunhofer.de>
Signed-off-by: Bin Meng <bmeng.cn@gmail.com>
Reviewed-by: Lukas Auer <lukas.auer@aisec.fraunhofer.de>
Reviewed-by: Rick Chen <rick@andestech.com>
#include <image.h>
#include <u-boot/zlib.h>
#include <asm/byteorder.h>
+#include <asm/csr.h>
DECLARE_GLOBAL_DATA_PTR;
printf("\nStarting kernel ...\n\n");
cleanup_before_linux();
- /* TODO: hardcode the hart id to zero for now */
+
if (IMAGE_ENABLE_OF_LIBFDT && images->ft_len)
- kernel(0, images->ft_addr);
+ kernel(csr_read(mhartid), images->ft_addr);
/* does not return */