search

bamarni / pi64

A 64-bit OS for the Raspberry Pi 3
712 stars 126 forks source link

TIPC Support #25

Closed daxj closed 7 years ago

daxj commented 7 years ago

Would you be willing to add TIPC modules to your kernel-config.txt for the next release? E.g.:

CONFIG_TIPC=m
CONFIG_TIPC_MEDIA_UDP=y
bamarni commented 7 years ago

can you try to run sudo pi64-update? I've added these config to the latest kernel release.

daxj commented 7 years ago

Excellent! Both the kernel upgrade and new modules worked perfectly: I have tested on a couple of Pis with natively built tipc utils (v2.0.2) and can confirm all is good.

Many thanks, once again, for this superb 64 bit OS.

bamarni commented 7 years ago

Cool, let's close this then ^^