Will the kernel have PREEMPT enabled as its now disabled for debian ? On Monday, August 18, 2014 6:56:34 AM UTC+5:30, Jason Kridner wrote: > > It is time to make another big software push for BeagleBone Black. We > have several recent updates from Robert, including managing the kernel > as Debian packages. > > To try out the new code, use one of the recent images from: > http://elinux.org/Beagleboard:BeagleBoneBlack_Debian#2014-08-05 > > Then, you'll need to switch to the 3.14 kernel: > sudo apt-get update ; sudo apt-get install linux-image-3.14.17-ti-r10 > > Report issues to one of these trackers: > https://github.com/beagleboard/linux > http://bugs.elinux.org/projects/debian-image-releases > > The device tree overlay support is still under development as is > built-in 'config-pin/cape-universal' support, so static configuration > of the .dtb is currently required. Your help is requested to make sure > the default .dtb file includes as many configurations as possible that > can be enabled from userspace. > > Update summary: > * Repo moved to https://github.com/beagleboard/linux > * Layout of Debian images now enable 'apt-get' updates to the kernel, > but you need to grab a newer starting distro image > * The false-start on the cape-firmware repo has been abandoned and > device tree overlays are now part of the kernel tree > * The kernel currently uses DMA for the USB and includes SGX support > > I've setup a buildbot hosted at http://builds.beagleboard.org, but I'm > still working on getting it to handle pull requests, multiple > branches, etc. like the MachineKit folks are doing, as well as pushing > out the builds. > > After a bit more feedback, I'll push out some blog posts, etc. to get > more people involved. Thanks for your help! >
-- For more options, visit http://beagleboard.org/discuss --- You received this message because you are subscribed to the Google Groups "BeagleBoard" group. To unsubscribe from this group and stop receiving emails from it, send an email to beagleboard+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.