**** BEGIN LOGGING AT Sat Jul 16 02:59:58 2016
Jul 16 09:45:05 <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)
Jul 16 09:45:21 <Nishikino-Maki> btw my arm device is OrangePi PC
Jul 16 10:35:08 <jost> is ports.ubuntu.com down?
Jul 16 10:59:32 <jost> Seems to be back online.
**** ENDING LOGGING AT Sun Jul 17 02:59:58 2016