diff options
Diffstat (limited to 'freebsd-to-rtems.py')
| -rwxr-xr-x | freebsd-to-rtems.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/freebsd-to-rtems.py b/freebsd-to-rtems.py index 62fdd6e1..15724b65 100755 --- a/freebsd-to-rtems.py +++ b/freebsd-to-rtems.py @@ -476,7 +476,7 @@ rtems_headerFiles = [ 'rtems/machine/mutex.h', 'rtems/machine/param.h', 'rtems/machine/pcpu.h', - 'rtems/machine/pmap.h', + 'rtems/machine/pmap.h', 'rtems/machine/proc.h', 'rtems/machine/resource.h', 'rtems/machine/runq.h', @@ -1129,6 +1129,7 @@ devNic.addSourceFiles( 'libkern/arc4random.c', 'kern/subr_pcpu.c', 'libkern/inet_ntoa.c', + 'kern/kern_prot.c', ] ) |