bzt 87d3316b67 Removed nostartfiles, nostdlib should imply that		2022-07-11 09:37:40 +02:00
..
bootboot.ads
kernel.adb	ACPI, and SMP and more bullet-proof coding	2021-01-23 03:20:04 +01:00
link.ld	More address checks	2021-04-08 18:02:09 +02:00
Makefile	Removed nostartfiles, nostdlib should imply that	2022-07-11 09:37:40 +02:00
system.ads