···11/*22 * Copyright (c) 2009-2011 Wind River Systems, Inc.33- * Copyright (c) 2011 ST Microelectronics (Alessandro Rubini)33+ * Copyright (c) 2011 ST Microelectronics (Alessandro Rubini, Davide Ciminaghi)44 *55 * This program is free software; you can redistribute it and/or modify66 * it under the terms of the GNU General Public License version 2 as