xenomai: mention which kernel versions are supported
authorThomas Petazzoni <thomas.petazzoni@free-electrons.com>
Tue, 3 Jan 2012 20:48:48 +0000 (21:48 +0100)
committerPeter Korsgaard <jacmet@sunsite.dk>
Sat, 7 Jan 2012 19:44:07 +0000 (20:44 +0100)
commitc2c06aad27b59dc85d8747a05433aae51781a775
tree3dc227669cd1ca59711b67115849b9de98b3b591
parent8d472bb50ce83d02bba28df6557b65efc2e0db48
xenomai: mention which kernel versions are supported

Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Reviewed-by: Thomas De Schampheleire <thomas.de.schampheleire@gmail.com>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
linux/Config.ext.in