diff options
Diffstat (limited to 'pkgs/profpatsch/s6/dhall/unix/Signal/misc/x86-arm.dhall')
-rw-r--r-- | pkgs/profpatsch/s6/dhall/unix/Signal/misc/x86-arm.dhall | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/pkgs/profpatsch/s6/dhall/unix/Signal/misc/x86-arm.dhall b/pkgs/profpatsch/s6/dhall/unix/Signal/misc/x86-arm.dhall new file mode 100644 index 00000000..36fdd842 --- /dev/null +++ b/pkgs/profpatsch/s6/dhall/unix/Signal/misc/x86-arm.dhall @@ -0,0 +1,14 @@ + { SIGIOT = + 6 + , SIGSTKFLT = + 16 + , SIGIO = + 29 + , SIGPWR = + 30 + , SIGWINCH = + 28 + , SIGUNUSED = + 31 + } +: ./common-type.dhall ⩓ { SIGSTKFLT : Natural, SIGUNUSED : Natural } \ No newline at end of file |