On Thu, Dec 6, 2018 at 10:25 PM Ard Biesheuvel
wrote:
>
> On Thu, 6 Dec 2018 at 16:50, Thomas Abraham wrote:
> >
> > Hi Ard, Leif,
> >
> > On Tue, Dec 4, 2018 at 5:31 PM Chandni Cherukuri
> > wrote:
> > >
> > > The hardware configuration in HW_CONFIG dts is not being
> > > passed onto the
On Thu, 6 Dec 2018 at 16:50, Thomas Abraham wrote:
>
> Hi Ard, Leif,
>
> On Tue, Dec 4, 2018 at 5:31 PM Chandni Cherukuri
> wrote:
> >
> > The hardware configuration in HW_CONFIG dts is not being
> > passed onto the operating system but used and terminated
> > at edk2 boot stage (BL33). So, as
Hi Ard, Leif,
On Tue, Dec 4, 2018 at 5:31 PM Chandni Cherukuri
wrote:
>
> The hardware configuration in HW_CONFIG dts is not being
> passed onto the operating system but used and terminated
> at edk2 boot stage (BL33). So, as per the recommendations
> of the trusted-firmware design, the hardware
The hardware configuration in HW_CONFIG dts is not being
passed onto the operating system but used and terminated
at edk2 boot stage (BL33). So, as per the recommendations
of the trusted-firmware design, the hardware description
specified in NT_FW_CONFIG dts should be used instead of
HW_CONFIG
4 matches
Mail list logo