diff options
Diffstat (limited to 'freebsd-to-rtems.py')
| -rwxr-xr-x | freebsd-to-rtems.py | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/freebsd-to-rtems.py b/freebsd-to-rtems.py index ef31a87e..7f63426e 100755 --- a/freebsd-to-rtems.py +++ b/freebsd-to-rtems.py @@ -1197,6 +1197,14 @@ devNic.addHeaderFiles( 'dev/pci/pci_private.h', ] ) + +devNic.addCPUDependentHeaderFiles( + [ + 'i386/include/specialreg.h', + 'i386/include/md_var.h', + ] +) + devNic.addSourceFiles( [ # 'kern/subr_taskqueue.c', |