tree eddf342dc7f5546b4733676a07bb1e6d4ec28433
parent b15a663ceaf7798e39fcba9909fcc5d8359337cf
author Sam Leffler <sleffler@google.com> 1645043137 +0000
committer Sam Leffler <sleffler@google.com> 1645221041 +0000

Simplify AT_SEL4_BOOT_INFO environment handling.

The runtime environment setup was setting bootinfo, ipc_buffer, and
the thread tcb when processing AT_SEL4_BOOT_INFO. Instead set only the
bootinfo reference and require the caller pass AT_SEL4_IPC_BUFFER and
AT_SEL4_TCB to setup the other data.

Change-Id: I06e01ff7e600318bc428f7506c38413aa1893019