1-------------------------------------------------------------------------- 2-- Copyright (c) 2015, ETH Zurich. 3-- All rights reserved. 4-- 5-- This file is distributed under the terms in the attached LICENSE file. 6-- If you do not find this file, copies can be found by writing to: 7-- ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group. 8-- 9-- Hakefile for /platforms/x86 10-- 11-------------------------------------------------------------------------- 12 13[ 14 platform "Documentation" [] 15 [ ("docs", "/" ++ f) | f <- [ 16 "TN-000-Overview.pdf", 17 "TN-001-Glossary.pdf", 18 "TN-002-Mackerel.pdf", 19 "TN-003-Hake.pdf", 20 "TN-004-VirtualMemory.pdf", 21 "TN-006-Routing.pdf", 22 "TN-008-Tracing.pdf", 23 "TN-009-Notifications.pdf", 24 "TN-010-Spec.pdf", 25 "TN-011-IDC.pdf", 26 "TN-012-Services.pdf", 27 "TN-013-CapabilityManagement.pdf", 28 "TN-014-bulk-transfer.pdf", 29 "TN-015-DiskDriverArchitecture.pdf", 30 "TN-016-Serial.pdf", 31 "TN-017-ARM.pdf", 32 "TN-018-PracticalGuide.pdf", 33 "TN-019-DeviceDriver.pdf", 34 "TN-020-Skate.pdf", 35 "TN-021-CPUDriver.pdf", 36 "TN-022-ARMv8.pdf", 37 "TN-023-Coreboot.pdf", 38 "TN-024-FiletOFish.pdf", 39 "TN-025-Sockeye.pdf", 40 "TN-026-Device-Queues.pdf" 41 ]] 42 "Documentation for Barrelfish" 43] 44