1==============
2EXT IRQ driver
3==============
4
5The External Interrupt driver allows external pins to be
6configured as interrupt lines. Each interrupt line can be
7individually masked and can generate an interrupt on rising,
8falling or both edges, or on high or low levels. Some of
9external pin can also be configured to wake up the device
10from sleep modes where all clocks have been disabled.
11External pins can also generate an event.
12
13Features
14--------
15* Initialization and de-initialization
16* Enabling and disabling
17* Detect external pins interrupt
18
19Applications
20------------
21* Generate an interrupt on rising, falling or both edges,
22  or on high or low levels.
23
24Dependencies
25------------
26* GPIO hardware
27
28Concurrency
29-----------
30N/A
31
32Limitations
33-----------
34N/A
35
36Knows issues and workarounds
37----------------------------
38N/A
39
40