14 May
2023
14 May
'23
5:29 p.m.
On Wed, May 10, 2023 at 04:34:46PM -0600, Simon Glass wrote:
We use the terms 'distro' to mean extlinux but they are not really the same. 'Distro' could refer to any method of booting a distribution, whereas extlinux is a particular method.
Also we sometimes use syslinux, but it is better to use the same term in all cases.
Rename distro to syslinux and also update bootstd uses of syslinux to use extlinux instead.
Signed-off-by: Simon Glass sjg@chromium.org
Applied to u-boot/master, thanks!
--
Tom