diff options
| author | Maxime Ripard <maxime.ripard@free-electrons.com> | 2012-01-11 18:53:40 +0100 |
|---|---|---|
| committer | Peter Korsgaard <jacmet@sunsite.dk> | 2012-02-01 23:05:18 +0100 |
| commit | df8fa1712c06d748a6ae99b1084e480b68dd4bc1 (patch) | |
| tree | 25b81019e9f973573852d42d82fa1140bd535ddb /docs/manual | |
| parent | c7746857d102e69e54202763eeb785a45755845d (diff) | |
Migrate Xenomai to the new infrastructure
Xenomai used to have commented out devices to be created in the device
table that the user had to uncomment. Use the new infrastructure to do
just that.
Signed-off-by: Maxime Ripard <maxime.ripard@free-electrons.com>
Acked-by: Thomas De Schampheleire <thomas.de.schampheleire@gmail.com>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
Diffstat (limited to 'docs/manual')
0 files changed, 0 insertions, 0 deletions