--------------------------------------------------------------------------
-- Copyright (c) 2007-2016, ETH Zurich.
-- All rights reserved.
--
-- This file is distributed under the terms in the attached LICENSE file.
-- If you do not find this file, copies can be found by writing to:
-- ETH Zurich D-INFK CAB F.78, Universitaetstr 6, CH-8092 Zurich.
-- Attn: Systems Group.
--
-- Hakefile for /include
--
--------------------------------------------------------------------------

[ includeFile [
    "a15mpcore_map.h",
    "a53mpcore_map.h",
    "a57mpcore_map.h",
    "a72mpcore_map.h",
    "a9mpcore_map.h",
    "acpi_client/acpi_client.h",
    "ahci/ahci_defs.h",
    "ahci/ahci_dma_pool.h",
    "ahci/ahci.h",
    "ahci/ahci_util.h",
    "ahci/sata_fis.h",
    "angler/angler.h",
    "arch/aarch64/arch/inttypes.h",
    "arch/aarch64/arch/setjmp.h",
    "arch/aarch64/arch/stdint.h",
    "arch/aarch64/barrelfish/bulk_transfer_arch.h",
    "arch/aarch64/barrelfish/core_state_arch.h",
    "arch/aarch64/barrelfish/cpu_arch.h",
    "arch/aarch64/barrelfish/curdispatcher_arch.h",
    "arch/aarch64/barrelfish/dispatcher_arch.h",
    "arch/aarch64/barrelfish/invocations_arch.h",
    "arch/aarch64/barrelfish_kpi/asm_inlines_arch.h",
    "arch/aarch64/barrelfish_kpi/cpu_arch.h",
    "arch/aarch64/barrelfish_kpi/dispatcher_shared_arch.h",
    "arch/aarch64/barrelfish_kpi/flags_arch.h",
    "arch/aarch64/barrelfish_kpi/generic_arch.h",
    "arch/aarch64/barrelfish_kpi/lmp_arch.h",
    "arch/aarch64/barrelfish_kpi/paging_arch.h",
    "arch/aarch64/barrelfish_kpi/registers_arch.h",
    "arch/aarch64/barrelfish_kpi/spinlocks_arch.h",
    "arch/aarch64/barrelfish_kpi/unknown_arch.h",
    "arch/aarch64/barrelfish/lmp_chan_arch.h",
    "arch/aarch64/barrelfish/pmap_arch.h",
    "arch/aarch64/barrelfish/syscall_arch.h",
    "arch/aarch64/bench/bench_arch.h",
    "arch/aarch64/fenv.h",
    "arch/aarch64/float.h",
    "arch/aarch64/_fpmath.h",
    "arch/aarch64/hw_records_arch.h",
    "arch/aarch64/machine/endian.h",
    "arch/aarch64/machine/_limits.h",
    "arch/arm/arch/inttypes.h",
    "arch/arm/arch/setjmp.h",
    "arch/arm/arch/stdint.h",
    "arch/arm/barrelfish/bulk_transfer_arch.h",
    "arch/arm/barrelfish/core_state_arch.h",
    "arch/arm/barrelfish/cpu_arch.h",
    "arch/arm/barrelfish/curdispatcher_arch.h",
    "arch/arm/barrelfish/dispatcher_arch.h",
    "arch/arm/barrelfish/invocations_arch.h",
    "arch/arm/barrelfish_kpi/asm_inlines_arch.h",
    "arch/arm/barrelfish_kpi/cpu_arch.h",
    "arch/arm/barrelfish_kpi/dispatcher_shared_arch.h",
    "arch/arm/barrelfish_kpi/flags_arch.h",
    "arch/arm/barrelfish_kpi/generic_arch.h",
    "arch/arm/barrelfish_kpi/lmp_arch.h",
    "arch/arm/barrelfish_kpi/paging_arch.h",
    "arch/arm/barrelfish_kpi/registers_arch.h",
    "arch/arm/barrelfish_kpi/spinlocks_arch.h",
    "arch/arm/barrelfish_kpi/unknown_arch.h",
    "arch/arm/barrelfish/lmp_chan_arch.h",
    "arch/arm/barrelfish/pmap_arch.h",
    "arch/arm/barrelfish/syscall_arch.h",
    "arch/arm/bench/bench_arch.h",
    "arch/arm/fenv.h",
    "arch/arm/float.h",
    "arch/arm/_fpmath.h",
    "arch/arm/hw_records_arch.h",
    "arch/arm/machine/endian.h",
    "arch/arm/machine/_limits.h",
    "arch/arm/omap44xx/device_registers.h",
    "arch/cc.h",
    "arch/perf.h",
    "arpa/inet.h",
    "arranet_debug.h",
    "arranet.h",
    "arranet_impl.h",
    "barrelfish/barrelfish.h",
    "barrelfish/bulk_transfer.h",
    "barrelfish/caddr.h",
    "barrelfish/capabilities.h",
    "barrelfish/cap_predicates.h",
    "barrelfish/coreset.h",
    "barrelfish/core_state.h",
    "barrelfish/cspace.h",
    "barrelfish/debug.h",
    "barrelfish/deferred.h",
    "barrelfish/dispatcher.h",
    "barrelfish/dispatch.h",
    "barrelfish/domain.h",
    "barrelfish/event_mutex.h",
    "barrelfish/event_queue.h",
    "barrelfish/except.h",
    "barrelfish/heap.h",
    "barrelfish/idc_export.h",
    "barrelfish/idc.h",
    "barrelfish/inthandler.h",
    "barrelfish/invocations.h",
    "barrelfish_kpi/capabilities.h",
    "barrelfish_kpi/cpu.h",
    "barrelfish_kpi/dispatcher_handle.h",
    "barrelfish_kpi/dispatcher_shared.h",
    "barrelfish_kpi/distcaps.h",
    "barrelfish_kpi/domain_params.h",
    "barrelfish_kpi/init.h",
    "barrelfish_kpi/legacy_idc_buffer.h",
    "barrelfish_kpi/lmp.h",
    "barrelfish_kpi/platform.h",
    "barrelfish_kpi/syscalls.h",
    "barrelfish_kpi/sys_debug.h",
    "barrelfish_kpi/types.h",
    "barrelfish_kpi/vmkit.h",
    "barrelfish_kpi/vmx_controls.h",
    "barrelfish_kpi/vmx_encodings.h",
    "barrelfish_kpi/vmx_exit_reasons.h",
    "barrelfish/lmp_chan.h",
    "barrelfish/lmp_endpoints.h",
    "barrelfish/memobj.h",
    "barrelfish/monitor_client.h",
    "barrelfish/morecore.h",
    "barrelfish/msgbuf.h",
    "barrelfish/multihop_chan.h",
    "barrelfish/nameservice_client.h",
    "barrelfish/net_constants.h",
    "barrelfish/pmap.h",
    "barrelfish/ram_alloc.h",
    "barrelfish/resource_ctrl.h",
    "barrelfish/slab.h",
    "barrelfish/slot_alloc.h",
    "barrelfish/spawn_client.h",
    "barrelfish/static_assert.h",
    "barrelfish/syscalls.h",
    "barrelfish/sys_debug.h",
    "barrelfish/systime.h",
    "barrelfish/terminal.h",
    "barrelfish/threads.h",
    "barrelfish/thread_sync.h",
    "barrelfish/types.h",
    "barrelfish/ump_chan.h",
    "barrelfish/ump_endpoint.h",
    "barrelfish/ump_impl.h",
    "barrelfish/vregion.h",
    "barrelfish/vspace_common.h",
    "barrelfish/vspace.h",
    "barrelfish/vspace_layout.h",
    "barrelfish/vspace_mmu_aware.h",
    "barrelfish/waitset_chan.h",
    "barrelfish/waitset.h",
    "bench/bench.h",
    "bfdmuxtools/bfdmux.h",
    "bfdmuxtools/codegen.h",
    "bfdmuxtools/debug.h",
    "bfdmuxtools/filter.h",
    "bfdmuxtools/tools.h",
    "bfdmuxvm/vm.h",
    "bitmacros.h",
    "bitmap.h",
    "blk/ahci.h",
    "bulk_transfer/bulk_allocator.h",
    "bulk_transfer/bulk_local.h",
    "bulk_transfer/bulk_net.h",
    "bulk_transfer/bulk_net_proxy.h",
    "bulk_transfer/bulk_sm.h",
    "bulk_transfer/bulk_transfer.h",
    "collections/flipbuffer.h",
    "collections/hash_table.h",
    "collections/list.h",
    "collections/stack.h",
    "concurrent/linked_list.h",
    "contmng/contmng.h",
    "contmng/netbench.h",
    "cpiobin.h",
    "cpuid/cpuid.h",
    "cpuid/cpuid_spaces.h",
    "c/stdarg.h",
    "c/stdbool.h",
    "c/stddef.h",
    "cxx/algorithm",
    "cxx/array",
    "cxx/atomic",
    "cxx/__bit_reference",
    "cxx/bitset",
    "cxx/cassert",
    "cxx/ccomplex",
    "cxx/cctype",
    "cxx/cerrno",
    "cxx/cfenv",
    "cxx/cfloat",
    "cxx/chrono",
    "cxx/cinttypes",
    "cxx/ciso646",
    "cxx/climits",
    "cxx/clocale",
    "cxx/cmath",
    "cxx/codecvt",
    "cxx/complex",
    "cxx/complex.h",
    "cxx/condition_variable",
    "cxx/__config",
    "cxx/csetjmp",
    "cxx/csignal",
    "cxx/cstdarg",
    "cxx/cstdbool",
    "cxx/cstddef",
    "cxx/cstdint",
    "cxx/cstdio",
    "cxx/cstdlib",
    "cxx/cstring",
    "cxx/ctgmath",
    "cxx/ctime",
    "cxx/cwchar",
    "cxx/cwctype",
    "cxx/__debug",
    "cxx/deque",
    "cxx/exception",
    "cxx/ext/__hash",
    "cxx/ext/hash_map",
    "cxx/ext/hash_set",
    "cxx/forward_list",
    "cxx/fstream",
    "cxx/functional",
    "cxx/__functional_03",
    "cxx/__functional_base",
    "cxx/__functional_base_03",
    "cxx/future",
    "cxx/__hash_table",
    "cxx/initializer_list",
    "cxx/iomanip",
    "cxx/ios",
    "cxx/iosfwd",
    "cxx/iostream",
    "cxx/istream",
    "cxx/iterator",
    "cxx/limits",
    "cxx/list",
    "cxx/locale",
    "cxx/__locale",
    "cxx/map",
    "cxx/memory",
    "cxx/module.modulemap",
    "cxx/mutex",
    "cxx/__mutex_base",
    "cxx/new",
    "cxx/numeric",
    "cxx/ostream",
    "cxx/queue",
    "cxx/random",
    "cxx/ratio",
    "cxx/__refstring",
    "cxx/regex",
    "cxx/scoped_allocator",
    "cxx/set",
    "cxx/shared_mutex",
    "cxx/__split_buffer",
    "cxx/__sso_allocator",
    "cxx/sstream",
    "cxx/stack",
    "cxx/stdexcept",
    "cxx/__std_stream",
    "cxx/streambuf",
    "cxx/string",
    "cxx/strstream",
    "cxx/system_error",
    "cxx/tgmath.h",
    "cxx/thread",
    "cxx/__tree",
    "cxx/tuple",
    "cxx/__tuple",
    "cxx/__tuple_03",
    "cxx/typeindex",
    "cxx/typeinfo",
    "cxx/type_traits",
    "cxx/__undef_min_max",
    "cxx/unordered_map",
    "cxx/unordered_set",
    "cxx/utility",
    "cxx/valarray",
    "cxx/vector",
    "deputy/nodeputy.h",
    "devif/backends/descq.h",
    "devif/backends/net/sfn5122f_devif.h",
    "devif/queue_interface.h",
    "dist/args.h",
    "dist/barrier.h",
    "dist/service.h",
    "dist/start.h",
    "dlfcn.h",
    "dma/client/dma_client_channel.h",
    "dma/client/dma_client_device.h",
    "dma/client/dma_client.h",
    "dma/client/dma_client_request.h",
    "dma/dma_bench.h",
    "dma/dma_channel.h",
    "dma/dma_descriptor.h",
    "dma/dma_device.h",
    "dma/dma.h",
    "dma/dma_manager_client.h",
    "dma/dma_mem_mgr.h",
    "dma/dma_request.h",
    "dma/dma_ring.h",
    "dma/dma_service.h",
    "dma/ioat/ioat_dma_channel.h",
    "dma/ioat/ioat_dma_dca.h",
    "dma/ioat/ioat_dma_descriptors.h",
    "dma/ioat/ioat_dma_device.h",
    "dma/ioat/ioat_dma.h",
    "dma/ioat/ioat_dma_request.h",
    "dmalloc/dmalloc.h",
    "dma/xeon_phi/xeon_phi_dma_channel.h",
    "dma/xeon_phi/xeon_phi_dma_descriptors.h",
    "dma/xeon_phi/xeon_phi_dma_device.h",
    "dma/xeon_phi/xeon_phi_dma.h",
    "dma/xeon_phi/xeon_phi_dma_request.h",
    "driverkit/driverkit.h",
    "elf/elf.h",
    "fcntl.h",
    "flounder/flounder.h",
    "flounder/flounder_support_caps.h",
    "flounder/flounder_support.h",
    "flounder/flounder_support_lmp.h",
    "flounder/flounder_support_ump.h",
    "flounder/flounder_txqueue.h",
    "getopt/getopt.h",
    "grp.h",
    "grubmenu.h",
    "Hakefile",
    "hashtable/dictionary.h",
    "hashtable/hashtable.h",
    "hashtable/multimap.h",
    "hw_records.h",
    "int_route/int_model.h",
    "int_route/int_route_client.h",
    "int_route/int_route_debug.h",
    "int_route/int_route_server.h",
    "k_r_malloc.h",
    "aos_malloc.h",
    "libgen.h",
    "limits.h",
    "linenoise/linenoise.h",
    "lua/lauxlib.h",
    "lua/luaconf.h",
    "lua/lua.h",
    "lua/lua.hpp",
    "lua/lualib.h",
    "mackerel/io.h",
    "mackerel/mackerel.h",
    "mdb/mdb.h",
    "mdb/mdb_tree.h",
    "mdb/types.h",
    "mm/mm.h",
    "mm/slot_alloc.h",
    "multiboot.h",
    "multicast.h",
    "netdb.h",
    "net_device_manager/net_device_manager.h",
    "net_device_manager/net_ports_service.h",
    "netinet6/in6.h",
    "netinet/in.h",
    "netinet/in_systm.h",
    "netinet/ip.h",
    "netinet/tcp.h",
    "net_interfaces/flags.h",
    "net_interfaces/net_interfaces.h",
    "net_queue_manager/net_queue_manager.h",
    "nfs/mount_rpc.h",
    "nfs/nfs.h",
    "nfs/nfs_rpc.h",
    "nfs/xdr.h",
    "nl_types.h",
    "numa.h",
    "octopus/barrier.h",
    "octopus/capability_storage.h",
    "octopus/definitions.h",
    "octopus/getset.h",
    "octopus/init.h",
    "octopus/lock.h",
    "octopus/octopus.h",
    "octopus/parser/ast.h",
    "octopus/pubsub.h",
    "octopus/semaphores.h",
    "octopus_server/debug.h",
    "octopus_server/init.h",
    "octopus_server/query.h",
    "octopus_server/service.h",
    "octopus/trigger.h",
    "omap44xx_map.h",
    "omp.h",
    "openssl/aes.h",
    "openssl/asn1.h",
    "openssl/asn1_mac.h",
    "openssl/asn1t.h",
    "openssl/bio.h",
    "openssl/blowfish.h",
    "openssl/bn.h",
    "openssl/buffer.h",
    "openssl/camellia.h",
    "openssl/cast.h",
    "openssl/cms.h",
    "openssl/comp.h",
    "openssl/conf_api.h",
    "openssl/conf.h",
    "openssl/crypto.h",
    "openssl/des.h",
    "openssl/des_old.h",
    "openssl/dh.h",
    "openssl/dsa.h",
    "openssl/dso.h",
    "openssl/dtls1.h",
    "openssl/ebcdic.h",
    "openssl/ecdh.h",
    "openssl/ecdsa.h",
    "openssl/ec.h",
    "openssl/engine.h",
    "openssl/e_os2.h",
    "openssl/err.h",
    "openssl/evp.h",
    "openssl/hmac.h",
    "openssl/idea.h",
    "openssl/krb5_asn.h",
    "openssl/kssl.h",
    "openssl/lhash.h",
    "openssl/local/asn1_locl.h",
    "openssl/local/cryptlib.h",
    "openssl/local/e_os.h",
    "openssl/local/evp_locl.h",
    "openssl/local/md32_common.h",
    "openssl/local/o_time.h",
    "openssl/md4.h",
    "openssl/md5.h",
    "openssl/mdc2.h",
    "openssl/modes.h",
    "openssl/objects.h",
    "openssl/obj_mac.h",
    "openssl/ocsp.h",
    "openssl/opensslconf.h",
    "openssl/opensslv.h",
    "openssl/ossl_typ.h",
    "openssl/pem2.h",
    "openssl/pem.h",
    "openssl/pkcs12.h",
    "openssl/pkcs7.h",
    "openssl/pqueue.h",
    "openssl/rand.h",
    "openssl/rc2.h",
    "openssl/rc4.h",
    "openssl/ripemd.h",
    "openssl/rsa.h",
    "openssl/safestack.h",
    "openssl/seed.h",
    "openssl/sha.h",
    "openssl/ssl23.h",
    "openssl/ssl2.h",
    "openssl/ssl3.h",
    "openssl/ssl.h",
    "openssl/stack.h",
    "openssl/symhacks.h",
    "openssl/tls1.h",
    "openssl/ts.h",
    "openssl/txt_db.h",
    "openssl/ui_compat.h",
    "openssl/ui.h",
    "openssl/whrlpool.h",
    "openssl/x509.h",
    "openssl/x509v3.h",
    "openssl/x509_vfy.h",
    "pager/pager.h",
    "paths.h",
    "pci/confspace/mackerelpci.h",
    "pci/confspace/pci_confspace.h",
    "pci/devids.h",
    "pci/mem.h",
    "pci/pci_client_debug.h",
    "pci/pci.h",
    "pcre.h",
    "pcreposix.h",
    "poll.h",
    "posixcompat.h",
    "procon/procon.h",
    "pthread.h",
    "rcce/RCCE_debug.h",
    "rcce/RCCE.h",
    "rcce/RCCE_lib.h",
    "rcce/RCCE_lib_pwr.h",
    "runetype.h",
    "semaphore.h",
    "signal.h",
    "skb/skb.h",
    "spawndomain/getopt.h",
    "spawndomain/spawndomain.h",
    "stdio_file.h",
    "storage/storage.h",
    "storage/vsa.h",
    "storage/vsic.h",
    "sys/cdefs.h",
    "sys/dirent.h",
    "sys/endian.h",
    "sys/epoll.h",
    "sysexits.h",
    "sys/file.h",
    "sys/ioccom.h",
    "sys/ioctl.h",
    "sys/_iovec.h",
    "sys/ipc.h",
    "syslog.h",
    "sys/mman.h",
    "sys/param.h",
    "sys/poll.h",
    "sys/_pthreadtypes.h",
    "sys/resource.h",
    "sys/select.h",
    "sys/shm.h",
    "sys/signal.h",
    "sys/_sigset.h",
    "sys/_sockaddr_storage.h",
    "sys/socket.h",
    "sys/stat.h",
    "sys/syslog.h",
    "sys/_termios.h",
    "sys/time.h",
    "sys/times.h",
    "sys/ttycom.h",
    "sys/ttydefaults.h",
    "sys/_types.h",
    "sys/types.h",
    "sys/uio.h",
    "sys/un.h",
    "sys/unistd.h",
    "sys/utsname.h",
    "sys/wait.h",
    "target/aarch64/barrelfish/dispatcher_target.h",
    "target/aarch64/barrelfish_kpi/arm_core_data.h",
    "target/aarch64/barrelfish_kpi/dispatcher_shared_target.h",
    "target/aarch64/barrelfish_kpi/paging_arm_v8.h",
    "target/aarch64/barrelfish/pmap_target.h",
    "target/arm/barrelfish/dispatcher_target.h",
    "target/arm/barrelfish_kpi/arm_core_data.h",
    "target/arm/barrelfish_kpi/dispatcher_shared_target.h",
    "target/arm/barrelfish_kpi/paging_arm_v5.h",
    "target/arm/barrelfish_kpi/paging_arm_v7.h",
    "target/arm/barrelfish/pmap_target.h",
    "tenaciousd/log.h",
    "tenaciousd/queue.h",
    "term/client/client_blocking.h",
    "term/client/client.h",
    "term/client/default_filters.h",
    "term/client/default_triggers.h",
    "term/client/defs.h",
    "term/client/filter.h",
    "term/client/session.h",
    "term/client/trigger.h",
    "term/defs.h",
    "termios.h",
    "term/server/server.h",
    "tftp/tftp.h",
    "thc/thc.h",
    "thc/thcinternal.h",
    "thc/thcstubs.h",
    "thc/thcsync.h",
    "time.h",
    "timer/timer.h",
    "trace/trace.h",
    "tweed/tweed.h",
    "unistd.h",
    "usb/class/usb_hid.h",
    "usb/class/usb_hub.h",
    "usb/usb_descriptor.h",
    "usb/usb_device.h",
    "usb/usb_driver.h",
    "usb/usb_error.h",
    "usb/usb.h",
    "usb/usb_parse.h",
    "usb/usb_request.h",
    "usb/usb_transfer.h",
    "usb/usb_xfer.h",
    "utime.h",
    "values.h",
    "vexpress_map.h",
    "vfs/fdtab.h",
    "vfs/mmap.h",
    "vfs/vfs_fd.h",
    "vfs/vfs.h",
    "vfs/vfs_path.h",
    "virtio/devices/virtio_block.h",
    "virtio/devices/virtio_net.h",
    "virtio/virtio_device.h",
    "virtio/virtio_guest.h",
    "virtio/virtio.h",
    "virtio/virtio_host.h",
    "virtio/virtio_ring.h",
    "virtio/virtqueue.h",
    "virtio/virtqueue_host.h",
    "x86emu/debug.h",
    "x86emu/decode.h",
    "x86emu/fpu.h",
    "x86emu/fpu_regs.h",
    "x86emu.h",
    "x86emu/ops.h",
    "x86emu/prim_asm.h",
    "x86emu/prim_ops.h",
    "x86emu/regs.h",
    "x86emu/types.h",
    "x86emu/x86emui.h",
    "xeon_phi/xeon_phi_client.h",
    "xeon_phi/xeon_phi_domain.h",
    "xeon_phi/xeon_phi.h",
    "xeon_phi/xeon_phi_manager_client.h",
    "xomp/xomp.h",
    "xomp/xomp_master.h",
    "xomp/xomp_worker.h",
    "zconf.h",
    "zlib.h",
    "zynq7_map.h"
  ] ]
