Re: Debian kernel for x86 in CI

2015-10-09 Thread Neil Williams
On Thu, 8 Oct 2015 15:20:47 +0200 Krishna Garapati wrote: > Hi Steve, > > I tried the other debian package which is in Note: Be careful with your terminology. "debian package" means a .deb that you install on the system. What you are looking for is a kernel

[ACTIVITY] Week 40-41

2015-10-09 Thread Riku Voipio
== Progress == * Connect wrap up (20%) * OpeNNi2 for aarch64 (BB-155 20%) * RoboOS investigations (BB-101 20%) * Qemu linux-user update (10%) * Added PPA for Nicolas (BB-127 10%) * Resend patch for kernel builddeb regression (10%) * CI fixes (10%) == Plans == * RobotOS aarch64 work (BB-101 and