rciext/genrci.c		optional genrci device-driver
rciext/kentucky.c	optional RCI
rciext/kentucky_s.s	optional RCI
rciext/rci.c		optional RCI
rciext/rci_s.s		optional RCI
rciext/kuser_traps.c	optional RCI
rciext/local.c		optional LOCAL
rciext/local_s.s	optional LOCAL
rciext/procx.c		optional LOCAL
rciext/procx_s.s	optional LOCAL
rciext/ctxlock.c	optional LOCAL
rciext/xyd.c		optional xyd device-driver
rciext/xyclk.c		optional xyclk device-driver
