1 2006-11-23 David Fernandez <dfernandez@cct.co.uk>
3 * include/devices_wallclock_i386_pc.inl: Added exception for DS_READ
4 DS_WRITE. Take into account that in Intel PC platforms the 8Th bit
5 in DS_ADDR is used to enable or disable NMI gate, and therefore,
8 2001-09-18 Rajagopalan Thiruvenkatachary <rajt@us.ibm.com>
10 * include/devices_wallclock_i386_pc.inl:
11 * cdl/i386_pc_wallclock_drivers.cdl:
14 //####ECOSGPLCOPYRIGHTBEGIN####
15 // -------------------------------------------
16 // This file is part of eCos, the Embedded Configurable Operating System.
17 // Copyright (C) 1998, 1999, 2000, 2001, 2002 Red Hat, Inc.
19 // eCos is free software; you can redistribute it and/or modify it under
20 // the terms of the GNU General Public License as published by the Free
21 // Software Foundation; either version 2 or (at your option) any later version.
23 // eCos is distributed in the hope that it will be useful, but WITHOUT ANY
24 // WARRANTY; without even the implied warranty of MERCHANTABILITY or
25 // FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
28 // You should have received a copy of the GNU General Public License along
29 // with eCos; if not, write to the Free Software Foundation, Inc.,
30 // 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.
32 // As a special exception, if other files instantiate templates or use macros
33 // or inline functions from this file, or you compile this file and link it
34 // with other works to produce a work based on this file, this file does not
35 // by itself cause the resulting work to be covered by the GNU General Public
36 // License. However the source code for this file must still be made available
37 // in accordance with section (3) of the GNU General Public License.
39 // This exception does not invalidate any other reasons why a work based on
40 // this file might be covered by the GNU General Public License.
42 // Alternative licenses for eCos may be arranged by contacting Red Hat, Inc.
43 // at http://sources.redhat.com/ecos/ecos-license/
44 // -------------------------------------------
45 //####ECOSGPLCOPYRIGHTEND####