[Buildroot] [PATCH v5 2/4] boot/opensbi: new package
Thomas Petazzoni
thomas.petazzoni at bootlin.com
Wed Mar 20 21:44:21 UTC 2019
Hello,
On Wed, 20 Mar 2019 14:28:59 -0700
Alistair Francis <alistair23 at gmail.com> wrote:
> > I would expect for something related to firmware) or to Linux
> > user-space applications. In the latter case, installing to
> > $(STAGING_DIR)/usr/lib is the right thing to do. In the former case
> > however, it should probably be installed elsewhere, maybe
> > $(STAGING_DIR)/usr/share/opensbi (but I'm not a FHS expert).
>
> $(STAGING_DIR)/usr/share/opensbi looks good to me. I will use that.
Then it should go to a OPENSBI_INSTALL_STAGING_CMDS variable, not in
OPENSBI_INSTALL_IMAGES_CMDS.
Thanks!
Thomas
--
Thomas Petazzoni, CTO, Bootlin
Embedded Linux and Kernel engineering
https://bootlin.com
More information about the buildroot
mailing list