diff options
Diffstat (limited to 'freebsd-to-rtems.py')
-rwxr-xr-x | freebsd-to-rtems.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/freebsd-to-rtems.py b/freebsd-to-rtems.py index 58698ae1..24055e88 100755 --- a/freebsd-to-rtems.py +++ b/freebsd-to-rtems.py @@ -678,7 +678,6 @@ rtems.addRTEMSSourceFiles( 'rtems/rtems-bsd-get-task-stack-size.c', 'rtems/rtems-bsd-init.c', 'rtems/rtems-bsd-jail.c', - 'rtems/rtems-bsd-kern_synch.c', 'rtems/rtems-bsd-log.c', 'rtems/rtems-bsd-malloc.c', 'rtems/rtems-bsd-mbuf.c', @@ -884,6 +883,7 @@ base.addKernelSpaceSourceFiles( 'sys/kern/kern_module.c', 'sys/kern/kern_mtxpool.c', 'sys/kern/kern_osd.c', + 'sys/kern/kern_synch.c', 'sys/kern/kern_sysctl.c', 'sys/kern/kern_time.c', 'sys/kern/kern_timeout.c', |