Re: [PATCH] Documentation: user: devboot: fix kernel target

Sascha Hauer <[email protected]> Mon, 15 Jun 2026 09:52:31 +0200
Newsgroups org.infradead.lists.barebox
Message-ID <[email protected]>
On Wed, 10 Jun 2026 14:59:27 +0200, Michael Tretter wrote:
> The Linux kernel target for building the CPIO archive is called
> modules-cpio-pkg.
> 
> Fix the documentation to make it easier for the user.
> 
> 

Applied, thanks!

[1/1] Documentation: user: devboot: fix kernel target
      https://git.pengutronix.de/cgit/barebox/commit/?id=f9a107582a8f (link may not be stable)

Best regards,
-- 
Sascha Hauer <[email protected]>