1/* 2 * Copyright (c) 2012, 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, CAB F.78, Universitaetstrasse 6, CH-8092 Zurich, 8 * Attn: Systems Group. 9 */ 10 11interface terminal "Unidirectional character stream." { 12 13 /** 14 * \brief Input or output of a character buffer. 15 * 16 * \param buffer Buffer holding characters. 17 * \param length Amount of characters in the buffer. 18 */ 19 message characters(char buffer[length, 2048]); 20}; 21