Kees Jongenburger aa94c9ed55 arm:switch to dynamic configuration for the kernel. ... During startup machine.board_id is now determined. The kernel can now at runtime determine how to configure itself and does so. Change-Id: I4f615af9bfa5add219e618b911a51af127591d6a		2013-12-17 11:32:38 +01:00
..
include	arm:switch to dynamic configuration for the kernel.	2013-12-17 11:32:38 +01:00
Makefile	ARM updates	2013-01-17 10:03:58 +01:00