cpu/intel: Add socket types
[coreboot2.git] / src / lib / gnat / 
treeb4c60808cf938f6f8ff66f2c574e77c15764f6b3
drwxr-xr-x   ..
-rw-r--r-- 3323 COPYING.RUNTIME
-rw-r--r-- 35147 COPYING3
-rw-r--r-- 1521 Makefile.mk
-rw-r--r-- 1344 a-unccon.ads
-rw-r--r-- 1148 ada.ads
-rw-r--r-- 5482 g-souinf.ads
-rw-r--r-- 2495 gnat.ads
-rw-r--r-- 3178 i-c.adb
-rw-r--r-- 3286 i-c.ads
-rw-r--r-- 6069 interfac.ads
-rw-r--r-- 3732 s-atacco.ads
-rw-r--r-- 5210 s-imenne.adb
-rw-r--r-- 4793 s-imenne.ads
-rw-r--r-- 5565 s-maccod.ads
-rw-r--r-- 3755 s-parame.ads
-rw-r--r-- 5068 s-stoele.adb
-rw-r--r-- 5802 s-stoele.ads
-rw-r--r-- 8937 s-unstyp.ads
-rw-r--r-- 8597 system.ads