On Thu, Jan 11, 2018 at 11:02 AM, Steve Heim <
life...@gmail.com> wrote:
> Hello,
>
> I've tried installing a xenomai-patched kernel, with the process described
> below. Installation seems to go smoothly, then when I reboot the boot
> process keeps getting stuck, loops on the error "ipaddr not set" and
> eventually just doesn't go anywhere. I've got a bootlog (logged via serial)
> here:
https://pastebin.com/NFNqaH34
>
> If anyone has any idea what's going wrong and can point me in the right
> direction, I'd very much appreciate it.