added entries to gitignore
[barrelfish] / include / barrelfish_kpi /
drwxr-xr-x   ..
-rw-r--r-- 7971 capabilities.h
-rw-r--r-- 1335 cpu.h
-rw-r--r-- 597 dispatcher_handle.h
-rw-r--r-- 2607 dispatcher_shared.h
-rw-r--r-- 1059 domain_params.h
-rw-r--r-- 6531 init.h
-rw-r--r-- 5196 legacy_idc_buffer.h
-rw-r--r-- 1590 lmp.h
-rw-r--r-- 889 sys_debug.h
-rw-r--r-- 4223 syscalls.h
-rw-r--r-- 3060 types.h
-rw-r--r-- 843 vmkit.h