EXTRA_DIST = \
core.xml \
fs.xml \
-fs_data.xml \
ipc.xml \
kernel.xml \
kernel_arch_arm.xml \
net.xml \
process.xml \
stack.xml \
-statedump.xml \
+list.xml \
timer.xml \
user_generic.xml \
xen.xml \
facilities_DATA = \
core.xml \
fs.xml \
-fs_data.xml \
ipc.xml \
kernel.xml \
kernel_arch_arm.xml \
net.xml \
process.xml \
stack.xml \
-statedump.xml \
+list.xml \
timer.xml \
user_generic.xml \
xen.xml \
This page took 0.024715 seconds and 4 git commands to generate.