[09:45] <Nishikino-Maki> i use the apt-get install the kernel (linux-headers-generic \ linux-image-generic) but i reboot my arm device it's still boot to old kernel(3.6) not new kernel(4.2)
[09:45] <Nishikino-Maki> btw my arm device is OrangePi PC
[10:35] <jost> is ports.ubuntu.com down?
[10:59] <jost> Seems to be back online.