kaluga: waiting for all spawnds to be up before starting drivers/apps
[barrelfish] / doc /
drwxr-xr-x   ..
drwxr-xr-x - 000-overview
drwxr-xr-x - 001-glossary
drwxr-xr-x - 002-mackerel
drwxr-xr-x - 003-hake
drwxr-xr-x - 004-virtual_memory
drwxr-xr-x - 006-routing
drwxr-xr-x - 008-tracing
drwxr-xr-x - 009-notifications
drwxr-xr-x - 010-spec
drwxr-xr-x - 011-idc
drwxr-xr-x - 012-services
drwxr-xr-x - 013-capability-mgmt
drwxr-xr-x - 014-bulk-transfer
drwxr-xr-x - 015-disk-driver-arch
drwxr-xr-x - 016-serial-ports
drwxr-xr-x - 017-arm
drwxr-xr-x - 018-Practical-guide
drwxr-xr-x - 019-device-drivers
drwxr-xr-x - 020-skate
drwxr-xr-x - 021-cpudriver
drwxr-xr-x - 022-armv8
drwxr-xr-x - 023-coreboot
drwxr-xr-x - 024-fof
-rw-r--r-- 63633 Doxyfile.cmake
-rw-r--r-- 1346 Hakefile
drwxr-xr-x - style