Ah, OK, I hadn't found that before. Fairly straightforward, just not
automatic to latest/newest kernel. Thank you.
> > systems manage it with "apt-update;apt-upgrade" so why not BBB? Even
> > RPi manages it so it's not down to size/space.
>
> RPi also has a large team of payed software engineers.
>
> It also has more cores (4) thus they can waste cpu-cycles.
>
> They also "force" you to upgrade your kernel.. ;)
>
> We've got users on 3.8.x, 4.4.x, 4.9.x, 4.14.x, 4.19.x, including
> no-SMP, SMP, NON-RT, RT and Xenomai kernel variants, all still
> working, with no payed developers. Then the whole UIO vs
> REMOTEPROC_PRUSS too..
>
> Personally, i like having the kernel NOT tied to the root file system,
> it allows you to better optimeze for YOUR system.
>
Oops, sorry, did I touch a nerve? :-)
Anyway, are there any particular reasons for going for any specific
kernel other than the latest? Presumably 3.8.x will start getting
less support (if it hasn't already).
--
Chris Green
·