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