1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
From 82cf979cbf1ffa346ef92ef71921111ae393bc6c Mon Sep 17 00:00:00 2001
From: Rob Browning <rlb@defaultvalue.org>
Date: Wed, 12 Oct 2022 15:33:25 -0500
Subject: stalin.architectures: add debian arm64
Origin: debian
---
include/stalin.architectures | 31 +++++++++++++++++++++++++++++++
1 file changed, 31 insertions(+)
diff --git a/include/stalin.architectures b/include/stalin.architectures
index 5d5d6b3..aad5956 100644
--- a/include/stalin.architectures
+++ b/include/stalin.architectures
@@ -444,6 +444,37 @@
4 ;*tag-size*
8 ;*squished-size*
#f) ;*include-malloc-for-alloca?*
+ ("arm64"
+ ;; Debian arm64
+ "char" ;*char*
+ "int" ;*fixnum*
+ "float" ;*flonum* when float
+ "double" ;*flonum* when double
+ "unsigned" ;*length*
+ "unsigned" ;*tag*
+ "unsigned long" ;*squished*
+ "long" ;*signed-squished*
+ "FILE" ;*file*
+ "jmp_buf" ;*jmpbuf*
+ 0 ;*char-alignment*
+ 2 ;*fixnum-alignment*
+ 2 ;*flonum-alignment* when float
+ 3 ;*flonum-alignment* when double
+ 3 ;*pointer-alignment*
+ 2 ;*length-alignment*
+ 2 ;*tag-alignment*
+ 3 ;*squished-alignment*
+ 3 ;*file-alignment*
+ 3 ;*jmpbuf-alignment*
+ 1 ;*char-size*
+ 4 ;*fixnum-size*
+ 4 ;*flonum-size* when float
+ 8 ;*flonum-size* when double
+ 8 ;*pointer-size*
+ 4 ;*length-size*
+ 4 ;*tag-size*
+ 8 ;*squished-size*
+ #f) ;*include-malloc-for-alloca?*
("ia64"
;; Debian ia64
"char" ;*char*
|
