2016-10-26 | Henning Schild | Revert "hal/x86: forbid compilation with Linux 4.0+" |
commitcommitdifftree |
2016-10-26 | Henning Schild | hal/x86: fix kernel-space FPU with 4.1 kernel Signed-off-by: Henning Schild <henning.schild@siemens.com> |
commitcommitdifftree |
2016-08-05 | Henning Schild | debian: remove device nodes from libxenomai1 Signed-off-by: Henning Schild <henning.schild@siemens.com> |
commitcommitdifftree |