ada-libraries
/
Ada_Drivers_Library
mirror of https://github.com/AdaCore/Ada_Drivers_Library
1
0
Fork 0
Code Issues Releases Wiki Activity

Community 2021 (#386) 

* Update for GNAT Community 2021

* Update workflow for CE2021
This commit is contained in:
Fabien Chouteau 2021-05-26 12:24:22 +02:00 committed by GitHub
parent f100ce784e
commit 0ccb49fb9f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
73 changed files with 1474 additions and 1165 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
.github/workflows/main.yml vendored
View File

@ -7,14 +7,14 @@ jobs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
- uses: ada-actions/toolchain@ce2020
- uses: ada-actions/toolchain@ce2021
with:
distrib: community
- uses: ada-actions/toolchain@ce2020
- uses: ada-actions/toolchain@ce2021
with:
distrib: community
target: arm-elf
- uses: ada-actions/toolchain@ce2020
- uses: ada-actions/toolchain@ce2021
with:
distrib: community
target: riscv32-elf
@ -31,10 +31,10 @@ jobs:
runs-on: windows-latest
steps:
- uses: actions/checkout@v1
- uses: ada-actions/toolchain@ce2020
- uses: ada-actions/toolchain@ce2021
with:
distrib: community
- uses: ada-actions/toolchain@ce2020
- uses: ada-actions/toolchain@ce2021
with:
distrib: community
target: arm-elf
@ -43,10 +43,10 @@ jobs:
with:
python-version: '3.x'
- name: Remove built-in arm-eabi Ravenscar run-times
run: rm -Recurse -Force "d:\a\_temp\gnat-2020-20200818-arm-elf-windows64-bin\arm-eabi\lib\gnat\ravenscar*"
run: rm -Recurse -Force "d:\a\_temp\gnat-2021-20210519-arm-elf-windows64-bin\arm-eabi\lib\gnat\ravenscar*"
shell: pwsh
- name: Remove built-in arm-eabi ZFP run-times
run: rm -Recurse -Force "d:\a\_temp\gnat-2020-20200818-arm-elf-windows64-bin\arm-eabi\lib\gnat\zfp*"
run: rm -Recurse -Force "d:\a\_temp\gnat-2021-20210519-arm-elf-windows64-bin\arm-eabi\lib\gnat\zfp*"
shell: pwsh
- run: python $PWD/scripts/install_dependencies.py

42
boards/HiFive1/hifive1_zfp.gpr
View File

@ -62,7 +62,7 @@ library project HiFive1_ZFP is
Linker_Switches := ("-T", Project'Project_dir & "/src/zfp/link.ld");
for Target use "riscv32-elf";
for Runtime ("Ada") use "zfp-rv32imc";
for Runtime ("Ada") use "zfp-rv32imac";
package Device_Configuration is
for CPU_Name use "RISC-V32";
@ -79,27 +79,31 @@ library project HiFive1_ZFP is
for Size ("RAM") use "16K";
for Boot_Memory use "board_flash";
for User_Tag ("hifive1_uart_root") use "268513280";
for User_Tag ("qemu_sifive_test_exit") use "True";
end Device_Configuration;
Vendor := "SiFive"; -- From board definition
Max_Mount_Points := "2"; -- From default value
Boot_Memory := "board_flash"; -- From default value
Max_Mount_Name_Length := "128"; -- From default value
Runtime_Profile := "zfp"; -- From command line
Device_Name := "FE310"; -- From board definition
Device_Family := "FE3"; -- From board definition
Has_Ravenscar_SFP_Runtime := "False"; -- From board definition
Runtime_Name := "zfp-rv32imc"; -- From default value
Has_Ravenscar_Full_Runtime := "False"; -- From board definition
CPU_Core := "RISC-V32"; -- From mcu definition
Board := "HiFive1"; -- From command line
Has_ZFP_Runtime := "True"; -- From board definition
Number_Of_Interrupts := "0"; -- From default value
Has_Custom_Memory_Area_1 := "False"; -- From default value
Use_Startup_Gen := "True"; -- From command line
Max_Path_Length := "1024"; -- From default value
Runtime_Name_Suffix := "rv32imc"; -- From board definition
Architecture := "RISC-V"; -- From board definition
Board := "HiFive1"; -- From command line
Boot_Memory := "board_flash"; -- From default value
CPU_Core := "RISC-V32"; -- From mcu definition
Device_Family := "FE3"; -- From board definition
Device_Name := "FE310"; -- From board definition
Has_Custom_Memory_Area_1 := "False"; -- From default value
Has_Ravenscar_Full_Runtime := "False"; -- From board definition
Has_Ravenscar_SFP_Runtime := "False"; -- From board definition
Has_ZFP_Runtime := "True"; -- From board definition
Max_Mount_Name_Length := "128"; -- From default value
Max_Mount_Points := "2"; -- From default value
Max_Path_Length := "1024"; -- From default value
Number_Of_Interrupts := "0"; -- From default value
Runtime_Name := "zfp-rv32imac"; -- From default value
Runtime_Name_Suffix := "rv32imac"; -- From board definition
Runtime_Profile := "zfp"; -- From command line
Use_Startup_Gen := "True"; -- From command line
Vendor := "SiFive"; -- From board definition
hifive1_uart_root := "268513280"; -- From board definition
qemu_sifive_test_exit := "True"; -- From board definition
-- Project source directories
Src_Dirs_Root := "../..";

38
boards/HiFive1/src/zfp/adl_config.ads
View File

@ -1,22 +1,24 @@
-- This package was generated by the Ada_Drivers_Library project wizard script
package ADL_Config is
Vendor : constant String := "SiFive"; -- From board definition
Max_Mount_Points : constant := 2; -- From default value
Boot_Memory : constant String := "board_flash"; -- From default value
Max_Mount_Name_Length : constant := 128; -- From default value
Runtime_Profile : constant String := "zfp"; -- From command line
Device_Name : constant String := "FE310"; -- From board definition
Device_Family : constant String := "FE3"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "False"; -- From board definition
Runtime_Name : constant String := "zfp-rv32imc"; -- From default value
Has_Ravenscar_Full_Runtime : constant String := "False"; -- From board definition
CPU_Core : constant String := "RISC-V32"; -- From mcu definition
Board : constant String := "HiFive1"; -- From command line
Has_ZFP_Runtime : constant String := "True"; -- From board definition
Number_Of_Interrupts : constant := 0; -- From default value
Has_Custom_Memory_Area_1 : constant Boolean := False; -- From default value
Use_Startup_Gen : constant Boolean := True; -- From command line
Max_Path_Length : constant := 1024; -- From default value
Runtime_Name_Suffix : constant String := "rv32imc"; -- From board definition
Architecture : constant String := "RISC-V"; -- From board definition
Board : constant String := "HiFive1"; -- From command line
Boot_Memory : constant String := "board_flash"; -- From default value
CPU_Core : constant String := "RISC-V32"; -- From mcu definition
Device_Family : constant String := "FE3"; -- From board definition
Device_Name : constant String := "FE310"; -- From board definition
Has_Custom_Memory_Area_1 : constant Boolean := False; -- From default value
Has_Ravenscar_Full_Runtime : constant String := "False"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "False"; -- From board definition
Has_ZFP_Runtime : constant String := "True"; -- From board definition
Max_Mount_Name_Length : constant := 128; -- From default value
Max_Mount_Points : constant := 2; -- From default value
Max_Path_Length : constant := 1024; -- From default value
Number_Of_Interrupts : constant := 0; -- From default value
Runtime_Name : constant String := "zfp-rv32imac"; -- From default value
Runtime_Name_Suffix : constant String := "rv32imac"; -- From board definition
Runtime_Profile : constant String := "zfp"; -- From command line
Use_Startup_Gen : constant Boolean := True; -- From command line
Vendor : constant String := "SiFive"; -- From board definition
hifive1_uart_root : constant := 268513280; -- From board definition
qemu_sifive_test_exit : constant Boolean := True; -- From board definition
end ADL_Config;

65
boards/HiFive1/src/zfp/crt0.S
View File

@ -1,3 +1,15 @@
/*********/
/* .data */
/*********/
.section .data.argv
argv_str:
.ascii "main\0"
.align 4
argv:
.word argv_str
.word 0
/**********/
/* _start */
/**********/
@ -13,6 +25,7 @@ _start:
.option pop
la sp, __stack_end
/* Load data section */
.type _startup_copy_data,@function
_startup_copy_data:
@ -43,22 +56,66 @@ _startup_clear_bss:
2:
.size _startup_clear_bss, . - _startup_clear_bss
/* Call static constructors */
.weak __libc_init_array
la t0, __libc_init_array
beq t0, zero, .skip_libc_init
jalr t0
.skip_libc_init:
/* Call main, with argc, argv */
la a0, 1
la a1, argv
call main
/* Save main's return value */
mv t0, a0
/* static destructors */
.weak __libc_fini_array
la t0, __libc_fini_array
beq t0, zero, .skip_libc_fini
jalr t0
.skip_libc_fini:
/* Restore main's return value */
mv a0, t0
call __gnat_exit
2: j 2b
.globl __gnat_exit
.type __gnat_exit,@function
.globl _abort
.type abort,@function
abort:
__gnat_exit:
/* Use ebreak on RISC-V32 until QEMU is updated to 4.0 */
ebreak
/* Write to the SiFive Test device on QEMU to shutdown */
li t0, 0x5555
li t1, 0x100000
sw t0, (t1)
j __gnat_exit
/* Weak alias _exit to __gnat_exit */
.weak _exit
.set _exit,__gnat_exit
.set _exit,__gnat_exit
.globl putchar
.type putchar,@function
putchar:
li t1, 268513280
li t1, 0x10013000
li t2, 0x80000000
.loop:
lw t3, 0(t1)
and t3, t3, t2
bnez t3, .loop
sb a0, 0(t1)
ret

53
boards/HiFive1/src/zfp/link.ld
View File

@ -1,6 +1,7 @@
/* This is a RISC-V specific version of this file */
_DEFAULT_STACK_SIZE = 2*1024;
_DEFAULT_STACK_SIZE = 0x1000;
OUTPUT_ARCH("riscv")
@ -14,6 +15,9 @@ MEMORY
SECTIONS
{
/***************/
/* board_flash */
/***************/
.text :
{
KEEP (*(SORT_NONE(.start)))
@ -21,14 +25,53 @@ SECTIONS
*(.gnu.warning)
} > board_flash
.eh_frame_hdr :
{
*(.eh_frame_hdr)
} > board_flash
.eh_frame :
{
__EH_FRAME__ = .;
KEEP(*(.eh_frame))
LONG(0);
} > board_flash
.gcc_except_table :
{
*(.gcc_except_table .gcc_except_table.*)
} > board_flash
.init_array :
{
PROVIDE_HIDDEN (__init_array_start = .);
KEEP (*(SORT(.init_array.*)))
KEEP (*(.init_array*))
PROVIDE_HIDDEN (__init_array_end = .);
} > board_flash
.fini_array :
{
PROVIDE_HIDDEN (__fini_array_start = .);
KEEP (*(SORT(.fini_array.*)))
KEEP (*(.fini_array*))
PROVIDE_HIDDEN (__fini_array_end = .);
} > board_flash
.rodata :
{
*(.rdata)
*(.rodata .rodata.* .gnu.linkonce.r*)
. = ALIGN(0x4);
__rom_end = .;
} > board_flash
} > board_flash
/**********************/
/* End of board_flash */
/**********************/
/*******/
/* RAM */
/*******/
.data :
{
__data_start = .;
@ -63,8 +106,6 @@ SECTIONS
*/
__data_load = LOADADDR(.data);
.bss (NOLOAD): {
. = ALIGN(0x8);
__bss_start = .;
@ -91,8 +132,10 @@ SECTIONS
__heap_end = ORIGIN(RAM) + LENGTH(RAM);
__bss_end = .;
} > RAM
__bss_words = (__bss_end - __bss_start) >> 2;
/**************/
/* End of RAM */
/**************/
/* DWARF debug sections.
Symbols in the DWARF debugging sections are relative to the beginning

42
boards/HiFive1_rev_B/hifive1_rev_b_zfp.gpr
View File

@ -62,7 +62,7 @@ library project HiFive1_rev_B_ZFP is
Linker_Switches := ("-T", Project'Project_dir & "/src/zfp/link.ld");
for Target use "riscv32-elf";
for Runtime ("Ada") use "zfp-rv32imc";
for Runtime ("Ada") use "zfp-rv32imac";
package Device_Configuration is
for CPU_Name use "RISC-V32";
@ -79,27 +79,31 @@ library project HiFive1_rev_B_ZFP is
for Size ("RAM") use "16K";
for Boot_Memory use "board_flash";
for User_Tag ("hifive1_uart_root") use "268513280";
for User_Tag ("qemu_sifive_test_exit") use "True";
end Device_Configuration;
Vendor := "SiFive"; -- From board definition
Max_Mount_Points := "2"; -- From default value
Boot_Memory := "board_flash"; -- From default value
Max_Mount_Name_Length := "128"; -- From default value
Runtime_Profile := "zfp"; -- From command line
Device_Name := "FE310"; -- From board definition
Device_Family := "FE3"; -- From board definition
Has_Ravenscar_SFP_Runtime := "False"; -- From board definition
Runtime_Name := "zfp-rv32imc"; -- From default value
Has_Ravenscar_Full_Runtime := "False"; -- From board definition
CPU_Core := "RISC-V32"; -- From mcu definition
Board := "HiFive1_rev_B"; -- From command line
Has_ZFP_Runtime := "True"; -- From board definition
Number_Of_Interrupts := "0"; -- From default value
Has_Custom_Memory_Area_1 := "False"; -- From default value
Use_Startup_Gen := "True"; -- From command line
Max_Path_Length := "1024"; -- From default value
Runtime_Name_Suffix := "rv32imc"; -- From board definition
Architecture := "RISC-V"; -- From board definition
Board := "HiFive1_rev_B"; -- From command line
Boot_Memory := "board_flash"; -- From default value
CPU_Core := "RISC-V32"; -- From mcu definition
Device_Family := "FE3"; -- From board definition
Device_Name := "FE310"; -- From board definition
Has_Custom_Memory_Area_1 := "False"; -- From default value
Has_Ravenscar_Full_Runtime := "False"; -- From board definition
Has_Ravenscar_SFP_Runtime := "False"; -- From board definition
Has_ZFP_Runtime := "True"; -- From board definition
Max_Mount_Name_Length := "128"; -- From default value
Max_Mount_Points := "2"; -- From default value
Max_Path_Length := "1024"; -- From default value
Number_Of_Interrupts := "0"; -- From default value
Runtime_Name := "zfp-rv32imac"; -- From default value
Runtime_Name_Suffix := "rv32imac"; -- From board definition
Runtime_Profile := "zfp"; -- From command line
Use_Startup_Gen := "True"; -- From command line
Vendor := "SiFive"; -- From board definition
hifive1_uart_root := "268513280"; -- From board definition
qemu_sifive_test_exit := "True"; -- From board definition
-- Project source directories
Src_Dirs_Root := "../..";

38
boards/HiFive1_rev_B/src/zfp/adl_config.ads
View File

@ -1,22 +1,24 @@
-- This package was generated by the Ada_Drivers_Library project wizard script
package ADL_Config is
Vendor : constant String := "SiFive"; -- From board definition
Max_Mount_Points : constant := 2; -- From default value
Boot_Memory : constant String := "board_flash"; -- From default value
Max_Mount_Name_Length : constant := 128; -- From default value
Runtime_Profile : constant String := "zfp"; -- From command line
Device_Name : constant String := "FE310"; -- From board definition
Device_Family : constant String := "FE3"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "False"; -- From board definition
Runtime_Name : constant String := "zfp-rv32imc"; -- From default value
Has_Ravenscar_Full_Runtime : constant String := "False"; -- From board definition
CPU_Core : constant String := "RISC-V32"; -- From mcu definition
Board : constant String := "HiFive1_rev_B"; -- From command line
Has_ZFP_Runtime : constant String := "True"; -- From board definition
Number_Of_Interrupts : constant := 0; -- From default value
Has_Custom_Memory_Area_1 : constant Boolean := False; -- From default value
Use_Startup_Gen : constant Boolean := True; -- From command line
Max_Path_Length : constant := 1024; -- From default value
Runtime_Name_Suffix : constant String := "rv32imc"; -- From board definition
Architecture : constant String := "RISC-V"; -- From board definition
Board : constant String := "HiFive1_rev_B"; -- From command line
Boot_Memory : constant String := "board_flash"; -- From default value
CPU_Core : constant String := "RISC-V32"; -- From mcu definition
Device_Family : constant String := "FE3"; -- From board definition
Device_Name : constant String := "FE310"; -- From board definition
Has_Custom_Memory_Area_1 : constant Boolean := False; -- From default value
Has_Ravenscar_Full_Runtime : constant String := "False"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "False"; -- From board definition
Has_ZFP_Runtime : constant String := "True"; -- From board definition
Max_Mount_Name_Length : constant := 128; -- From default value
Max_Mount_Points : constant := 2; -- From default value
Max_Path_Length : constant := 1024; -- From default value
Number_Of_Interrupts : constant := 0; -- From default value
Runtime_Name : constant String := "zfp-rv32imac"; -- From default value
Runtime_Name_Suffix : constant String := "rv32imac"; -- From board definition
Runtime_Profile : constant String := "zfp"; -- From command line
Use_Startup_Gen : constant Boolean := True; -- From command line
Vendor : constant String := "SiFive"; -- From board definition
hifive1_uart_root : constant := 268513280; -- From board definition
qemu_sifive_test_exit : constant Boolean := True; -- From board definition
end ADL_Config;

65
boards/HiFive1_rev_B/src/zfp/crt0.S
View File

@ -1,3 +1,15 @@
/*********/
/* .data */
/*********/
.section .data.argv
argv_str:
.ascii "main\0"
.align 4
argv:
.word argv_str
.word 0
/**********/
/* _start */
/**********/
@ -13,6 +25,7 @@ _start:
.option pop
la sp, __stack_end
/* Load data section */
.type _startup_copy_data,@function
_startup_copy_data:
@ -43,22 +56,66 @@ _startup_clear_bss:
2:
.size _startup_clear_bss, . - _startup_clear_bss
/* Call static constructors */
.weak __libc_init_array
la t0, __libc_init_array
beq t0, zero, .skip_libc_init
jalr t0
.skip_libc_init:
/* Call main, with argc, argv */
la a0, 1
la a1, argv
call main
/* Save main's return value */
mv t0, a0
/* static destructors */
.weak __libc_fini_array
la t0, __libc_fini_array
beq t0, zero, .skip_libc_fini
jalr t0
.skip_libc_fini:
/* Restore main's return value */
mv a0, t0
call __gnat_exit
2: j 2b
.globl __gnat_exit
.type __gnat_exit,@function
.globl _abort
.type abort,@function
abort:
__gnat_exit:
/* Use ebreak on RISC-V32 until QEMU is updated to 4.0 */
ebreak
/* Write to the SiFive Test device on QEMU to shutdown */
li t0, 0x5555
li t1, 0x100000
sw t0, (t1)
j __gnat_exit
/* Weak alias _exit to __gnat_exit */
.weak _exit
.set _exit,__gnat_exit
.set _exit,__gnat_exit
.globl putchar
.type putchar,@function
putchar:
li t1, 268513280
li t1, 0x10013000
li t2, 0x80000000
.loop:
lw t3, 0(t1)
and t3, t3, t2
bnez t3, .loop
sb a0, 0(t1)
ret

53
boards/HiFive1_rev_B/src/zfp/link.ld
View File

@ -1,6 +1,7 @@
/* This is a RISC-V specific version of this file */
_DEFAULT_STACK_SIZE = 2*1024;
_DEFAULT_STACK_SIZE = 0x1000;
OUTPUT_ARCH("riscv")
@ -14,6 +15,9 @@ MEMORY
SECTIONS
{
/***************/
/* board_flash */
/***************/
.text :
{
KEEP (*(SORT_NONE(.start)))
@ -21,14 +25,53 @@ SECTIONS
*(.gnu.warning)
} > board_flash
.eh_frame_hdr :
{
*(.eh_frame_hdr)
} > board_flash
.eh_frame :
{
__EH_FRAME__ = .;
KEEP(*(.eh_frame))
LONG(0);
} > board_flash
.gcc_except_table :
{
*(.gcc_except_table .gcc_except_table.*)
} > board_flash
.init_array :
{
PROVIDE_HIDDEN (__init_array_start = .);
KEEP (*(SORT(.init_array.*)))
KEEP (*(.init_array*))
PROVIDE_HIDDEN (__init_array_end = .);
} > board_flash
.fini_array :
{
PROVIDE_HIDDEN (__fini_array_start = .);
KEEP (*(SORT(.fini_array.*)))
KEEP (*(.fini_array*))
PROVIDE_HIDDEN (__fini_array_end = .);
} > board_flash
.rodata :
{
*(.rdata)
*(.rodata .rodata.* .gnu.linkonce.r*)
. = ALIGN(0x4);
__rom_end = .;
} > board_flash
} > board_flash
/**********************/
/* End of board_flash */
/**********************/
/*******/
/* RAM */
/*******/
.data :
{
__data_start = .;
@ -63,8 +106,6 @@ SECTIONS
*/
__data_load = LOADADDR(.data);
.bss (NOLOAD): {
. = ALIGN(0x8);
__bss_start = .;
@ -91,8 +132,10 @@ SECTIONS
__heap_end = ORIGIN(RAM) + LENGTH(RAM);
__bss_end = .;
} > RAM
__bss_words = (__bss_end - __bss_start) >> 2;
/**************/
/* End of RAM */
/**************/
/* DWARF debug sections.
Symbols in the DWARF debugging sections are relative to the beginning

36
boards/MicroBit/microbit_zfp.gpr
View File

@ -113,25 +113,25 @@ library project MicroBit_ZFP is
for Boot_Memory use "flash";
end Device_Configuration;
Vendor := "Nordic"; -- From board definition
Max_Mount_Points := "2"; -- From default value
Boot_Memory := "flash"; -- From default value
Max_Mount_Name_Length := "128"; -- From default value
Runtime_Profile := "zfp"; -- From command line
Device_Name := "nRF51822xxAA"; -- From board definition
Device_Family := "nRF51"; -- From board definition
Has_Ravenscar_SFP_Runtime := "False"; -- From board definition
Runtime_Name := "zfp-cortex-m0"; -- From default value
Has_Ravenscar_Full_Runtime := "False"; -- From board definition
CPU_Core := "ARM Cortex-M0"; -- From mcu definition
Board := "MicroBit"; -- From command line
Has_ZFP_Runtime := "True"; -- From board definition
Number_Of_Interrupts := "32"; -- From MCU definition
Has_Custom_Memory_Area_1 := "False"; -- From default value
Use_Startup_Gen := "True"; -- From command line
Max_Path_Length := "1024"; -- From default value
Runtime_Name_Suffix := "cortex-m0"; -- From board definition
Architecture := "ARM"; -- From board definition
Board := "MicroBit"; -- From command line
Boot_Memory := "flash"; -- From default value
CPU_Core := "ARM Cortex-M0"; -- From mcu definition
Device_Family := "nRF51"; -- From board definition
Device_Name := "nRF51822xxAA"; -- From board definition
Has_Custom_Memory_Area_1 := "False"; -- From default value
Has_Ravenscar_Full_Runtime := "False"; -- From board definition
Has_Ravenscar_SFP_Runtime := "False"; -- From board definition
Has_ZFP_Runtime := "True"; -- From board definition
Max_Mount_Name_Length := "128"; -- From default value
Max_Mount_Points := "2"; -- From default value
Max_Path_Length := "1024"; -- From default value
Number_Of_Interrupts := "32"; -- From MCU definition
Runtime_Name := "zfp-cortex-m0"; -- From default value
Runtime_Name_Suffix := "cortex-m0"; -- From board definition
Runtime_Profile := "zfp"; -- From command line
Use_Startup_Gen := "True"; -- From command line
Vendor := "Nordic"; -- From board definition
-- Project source directories
Src_Dirs_Root := "../..";

36
boards/MicroBit/src/zfp/adl_config.ads
View File

@ -1,22 +1,22 @@
-- This package was generated by the Ada_Drivers_Library project wizard script
package ADL_Config is
Vendor : constant String := "Nordic"; -- From board definition
Max_Mount_Points : constant := 2; -- From default value
Boot_Memory : constant String := "flash"; -- From default value
Max_Mount_Name_Length : constant := 128; -- From default value
Runtime_Profile : constant String := "zfp"; -- From command line
Device_Name : constant String := "nRF51822xxAA"; -- From board definition
Device_Family : constant String := "nRF51"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "False"; -- From board definition
Runtime_Name : constant String := "zfp-cortex-m0"; -- From default value
Has_Ravenscar_Full_Runtime : constant String := "False"; -- From board definition
CPU_Core : constant String := "ARM Cortex-M0"; -- From mcu definition
Board : constant String := "MicroBit"; -- From command line
Has_ZFP_Runtime : constant String := "True"; -- From board definition
Number_Of_Interrupts : constant := 32; -- From MCU definition
Has_Custom_Memory_Area_1 : constant Boolean := False; -- From default value
Use_Startup_Gen : constant Boolean := True; -- From command line
Max_Path_Length : constant := 1024; -- From default value
Runtime_Name_Suffix : constant String := "cortex-m0"; -- From board definition
Architecture : constant String := "ARM"; -- From board definition
Board : constant String := "MicroBit"; -- From command line
Boot_Memory : constant String := "flash"; -- From default value
CPU_Core : constant String := "ARM Cortex-M0"; -- From mcu definition
Device_Family : constant String := "nRF51"; -- From board definition
Device_Name : constant String := "nRF51822xxAA"; -- From board definition
Has_Custom_Memory_Area_1 : constant Boolean := False; -- From default value
Has_Ravenscar_Full_Runtime : constant String := "False"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "False"; -- From board definition
Has_ZFP_Runtime : constant String := "True"; -- From board definition
Max_Mount_Name_Length : constant := 128; -- From default value
Max_Mount_Points : constant := 2; -- From default value
Max_Path_Length : constant := 1024; -- From default value
Number_Of_Interrupts : constant := 32; -- From MCU definition
Runtime_Name : constant String := "zfp-cortex-m0"; -- From default value
Runtime_Name_Suffix : constant String := "cortex-m0"; -- From board definition
Runtime_Profile : constant String := "zfp"; -- From command line
Use_Startup_Gen : constant Boolean := True; -- From command line
Vendor : constant String := "Nordic"; -- From board definition
end ADL_Config;

36
boards/NRF52_DK/nrf52_dk_zfp.gpr
View File

@ -209,25 +209,25 @@ library project NRF52_DK_ZFP is
for Boot_Memory use "flash";
end Device_Configuration;
Vendor := "Nordic"; -- From board definition
Max_Mount_Points := "2"; -- From default value
Boot_Memory := "flash"; -- From default value
Max_Mount_Name_Length := "128"; -- From default value
Runtime_Profile := "zfp"; -- From command line
Device_Name := "nRF52832xxAA"; -- From board definition
Device_Family := "nRF52"; -- From board definition
Has_Ravenscar_SFP_Runtime := "False"; -- From board definition
Runtime_Name := "zfp-cortex-m4f"; -- From default value
Has_Ravenscar_Full_Runtime := "False"; -- From board definition
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Board := "NRF52_DK"; -- From command line
Has_ZFP_Runtime := "True"; -- From board definition
Number_Of_Interrupts := "128"; -- From MCU definition
Has_Custom_Memory_Area_1 := "False"; -- From default value
Use_Startup_Gen := "True"; -- From command line
Max_Path_Length := "1024"; -- From default value
Runtime_Name_Suffix := "cortex-m4f"; -- From board definition
Architecture := "ARM"; -- From board definition
Board := "NRF52_DK"; -- From command line
Boot_Memory := "flash"; -- From default value
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Device_Family := "nRF52"; -- From board definition
Device_Name := "nRF52832xxAA"; -- From board definition
Has_Custom_Memory_Area_1 := "False"; -- From default value
Has_Ravenscar_Full_Runtime := "False"; -- From board definition
Has_Ravenscar_SFP_Runtime := "False"; -- From board definition
Has_ZFP_Runtime := "True"; -- From board definition
Max_Mount_Name_Length := "128"; -- From default value
Max_Mount_Points := "2"; -- From default value
Max_Path_Length := "1024"; -- From default value
Number_Of_Interrupts := "128"; -- From MCU definition
Runtime_Name := "zfp-cortex-m4f"; -- From default value
Runtime_Name_Suffix := "cortex-m4f"; -- From board definition
Runtime_Profile := "zfp"; -- From command line
Use_Startup_Gen := "True"; -- From command line
Vendor := "Nordic"; -- From board definition
-- Project source directories
Src_Dirs_Root := "../..";

36
boards/NRF52_DK/src/zfp/adl_config.ads
View File

@ -1,22 +1,22 @@
-- This package was generated by the Ada_Drivers_Library project wizard script
package ADL_Config is
Vendor : constant String := "Nordic"; -- From board definition
Max_Mount_Points : constant := 2; -- From default value
Boot_Memory : constant String := "flash"; -- From default value
Max_Mount_Name_Length : constant := 128; -- From default value
Runtime_Profile : constant String := "zfp"; -- From command line
Device_Name : constant String := "nRF52832xxAA"; -- From board definition
Device_Family : constant String := "nRF52"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "False"; -- From board definition
Runtime_Name : constant String := "zfp-cortex-m4f"; -- From default value
Has_Ravenscar_Full_Runtime : constant String := "False"; -- From board definition
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Board : constant String := "NRF52_DK"; -- From command line
Has_ZFP_Runtime : constant String := "True"; -- From board definition
Number_Of_Interrupts : constant := 128; -- From MCU definition
Has_Custom_Memory_Area_1 : constant Boolean := False; -- From default value
Use_Startup_Gen : constant Boolean := True; -- From command line
Max_Path_Length : constant := 1024; -- From default value
Runtime_Name_Suffix : constant String := "cortex-m4f"; -- From board definition
Architecture : constant String := "ARM"; -- From board definition
Board : constant String := "NRF52_DK"; -- From command line
Boot_Memory : constant String := "flash"; -- From default value
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Device_Family : constant String := "nRF52"; -- From board definition
Device_Name : constant String := "nRF52832xxAA"; -- From board definition
Has_Custom_Memory_Area_1 : constant Boolean := False; -- From default value
Has_Ravenscar_Full_Runtime : constant String := "False"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "False"; -- From board definition
Has_ZFP_Runtime : constant String := "True"; -- From board definition
Max_Mount_Name_Length : constant := 128; -- From default value
Max_Mount_Points : constant := 2; -- From default value
Max_Path_Length : constant := 1024; -- From default value
Number_Of_Interrupts : constant := 128; -- From MCU definition
Runtime_Name : constant String := "zfp-cortex-m4f"; -- From default value
Runtime_Name_Suffix : constant String := "cortex-m4f"; -- From board definition
Runtime_Profile : constant String := "zfp"; -- From command line
Use_Startup_Gen : constant Boolean := True; -- From command line
Vendor : constant String := "Nordic"; -- From board definition
end ADL_Config;

404
boards/NRF52_DK/src/zfp/crt0.S
View File

@ -1,6 +1,13 @@
.syntax unified
#if defined(__SOFTFP__)
.cpu cortex-m0
.thumb
#else
/* FPU support means at least cortex-m4 compatibility */
.cpu cortex-m4
#endif
.thumb
.text
.globl __vectors
@ -8,22 +15,22 @@
.section .vectors,"a"
__vectors:
/* Cortex-M core interrupts */
.word __stack_end /* stack top address */
.word _start /* 1 Reset */
.word fault /* 2 NMI. */
.word fault /* 3 Hard fault. */
.word fault /* 4 Mem manage. */
.word fault /* 5 Bus fault. */
.word fault /* 6 Usage fault. */
.word fault /* 7 reserved. */
.word fault /* 8 reserved. */
.word fault /* 9 reserved. */
.word fault /* 10 reserved. */
.word __gnat_sv_call_trap /* 11 SVCall. */
.word __gnat_bkpt_trap /* 12 Breakpoint. */
.word fault /* 13 reserved. */
.word __gnat_pend_sv_trap /* 14 PendSV. */
.word __gnat_sys_tick_trap /* 15 Systick. */
.word __stack_end /* stack top address */
.word Reset_Handler /* 1 Reset */
.word NMI_Handler /* 2 NMI. */
.word HardFault_Handler /* 3 Hard fault. */
.word MemoryManagement_Handler /* 4 Mem manage. */
.word BusFault_Handler /* 5 Bus fault. */
.word UsageFault_Handler /* 6 Usage fault. */
.word Reserved_Handler /* 7 reserved. */
.word Reserved_Handler /* 8 reserved. */
.word Reserved_Handler /* 9 reserved. */
.word Reserved_Handler /* 10 reserved. */
.word SVC_Handler /* 11 SVCall. */
.word DebugMon_Handler /* 12 Breakpoint. */
.word Reserved_Handler /* 13 reserved. */
.word PendSV_Handler /* 14 PendSV. */
.word SysTick_Handler /* 15 Systick. */
/* MCU interrupts */
.word __adl_irq_handler /* 0 */
.word __adl_irq_handler /* 1 */
@ -155,304 +162,309 @@ __vectors:
.word __adl_irq_handler /* 127 */
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.weak __adl_irq_handler
.thumb_set __adl_irq_handler,__gnat_irq_trap
.thumb_set __adl_irq_handler,__common_int_handler
.text
.weak __unknown_interrupt_handler
.thumb_set __unknown_interrupt_handler,__gnat_irq_trap
.thumb_set __unknown_interrupt_handler,__common_int_handler
.macro weak_handler name
.thumb_func
.weak __gnat_irq_trap
.type __gnat_irq_trap, %function
__gnat_irq_trap:
.weak \name
.type \name, %function
\name:
0: b 0b
.size __gnat_irq_trap, . - __gnat_irq_trap
.size \name, . - \name
.endm
.thumb_func
.weak __gnat_sv_call_trap
.type __gnat_sv_call_trap, %function
__gnat_sv_call_trap:
0: b 0b
.size __gnat_sv_call_trap, . - __gnat_sv_call_trap
weak_handler NMI_Handler
weak_handler HardFault_Handler
weak_handler MemoryManagement_Handler
weak_handler BusFault_Handler
weak_handler UsageFault_Handler
weak_handler Reserved_Handler
weak_handler SVC_Handler
weak_handler DebugMon_Handler
weak_handler PendSV_Handler
weak_handler SysTick_Handler
weak_handler __common_int_handler
.thumb_func
.weak __gnat_pend_sv_trap
.type __gnat_pend_sv_trap, %function
__gnat_pend_sv_trap:
0: b 0b
.size __gnat_pend_sv_trap, . - __gnat_pend_sv_trap
/*********/
/* .data */
/*********/
.section .data.argv
argv_str:
.ascii "main\0"
.thumb_func
.weak __gnat_sys_tick_trap
.type __gnat_sys_tick_trap, %function
__gnat_sys_tick_trap:
0: b 0b
.size __gnat_sys_tick_trap, . - __gnat_sys_tick_trap
.thumb_func
fault: b fault
.align 4
argv:
.word argv_str
.word 0
/*****************/
/* Reset_Handler */
/*****************/
.text
.thumb_func
.globl _start
.globl Reset_Handler
_start:
Reset_Handler:
/* Set the stack pointer */
ldr r1,=__stack_end
@ -490,8 +502,48 @@ _startup_clear_bss:
1:
.size _startup_clear_bss, . - _startup_clear_bss
bl main
#if !defined(__SOFTFP__)
/**************/
/* Enable FPU */
/**************/
bl _exit
movw r0,#0xED88
movt r0,#0xE000
ldr r1,[r0]
orr r1,r1,#(0xF << 20)
str r1,[r0]
hang: b .
dsb
isb
#endif
/* Call static constructors */
.weak __libc_init_array
ldr r5,=__libc_init_array
cmp r5,#0
beq .skip_libc_init
blx r5
.skip_libc_init:
/* Call main, with argc, argv */
movs r0,#1
ldr r1,=argv
bl main
/* Save main's return value */
mov r4, r0
/* static destructors */
.weak __libc_fini_array
ldr r5,=__libc_fini_array
cmp r5,#0
beq .skip_libc_fini
blx r5
.skip_libc_fini:
/* Restore main's return value */
mov r0, r4
bl _exit
bl Reset_Handler
.size Reserved_Handler, . - Reset_Handler

67
boards/NRF52_DK/src/zfp/link.ld
View File

@ -1,5 +1,3 @@
/* This is a ARM specific version of this file */
/* This script replaces ld's default linker script, providing the
@ -8,9 +6,9 @@
SEARCH_DIR(.)
__DYNAMIC = 0;
_DEFAULT_STACK_SIZE = 2048;
_DEFAULT_STACK_SIZE = 0x1000;
ENTRY(_start);
ENTRY(Reset_Handler);
MEMORY
{
@ -26,6 +24,9 @@ MEMORY
SECTIONS
{
/*********/
/* flash */
/*********/
.text :
{
KEEP (*(.vectors))
@ -34,10 +35,40 @@ SECTIONS
} > flash
.ARM.extab : { *(.ARM.extab* .gnu.linkonce.armextab.*) } > flash
/* .ARM.exidx is 4-bytes aligned, so __exidx_start needs to be
aligned too. Note that assigning the location counter also makes
ld attach the following symbols to the next section (instead of the
previous section which is the default), so will properly
consider the location counter of .ARM.exidx for __exidx_start and
__exidx_end and not the previous section's one. */
. = ALIGN(0x4);
PROVIDE_HIDDEN (__exidx_start = .);
.ARM.exidx : { *(.ARM.exidx* .gnu.linkonce.armexidx.*) } > flash
PROVIDE_HIDDEN (__exidx_end = .);
.preinit_array :
{
PROVIDE_HIDDEN (__preinit_array_start = .);
KEEP (*(.preinit_array*))
PROVIDE_HIDDEN (__preinit_array_end = .);
} > flash
.init_array :
{
PROVIDE_HIDDEN (__init_array_start = .);
KEEP (*(SORT(.init_array.*)))
KEEP (*(.init_array*))
PROVIDE_HIDDEN (__init_array_end = .);
} > flash
.fini_array :
{
PROVIDE_HIDDEN (__fini_array_start = .);
KEEP (*(SORT(.fini_array.*)))
KEEP (*(.fini_array*))
PROVIDE_HIDDEN (__fini_array_end = .);
} > flash
.rodata :
{
*(.lit)
@ -45,7 +76,13 @@ SECTIONS
. = ALIGN(0x4);
__rom_end = .;
} > flash
/****************/
/* End of flash */
/****************/
/*******/
/* ram */
/*******/
__data_load = LOADADDR(.data);
.data :
{
@ -62,8 +99,6 @@ SECTIONS
} > ram AT> flash
__data_words = (__data_end - __data_start) >> 2;
.bss (NOLOAD): {
. = ALIGN(0x8);
__bss_start = .;
@ -74,22 +109,24 @@ SECTIONS
. = ALIGN(0x8); /* Align the stack to 64 bits */
__bss_end = .;
__interrupt_stack_start = .;
*(.interrupt_stacks)
. = ALIGN(0x8);
__interrupt_stack_end = .;
__interrupt_stack_start = .;
*(.interrupt_stacks)
. = ALIGN(0x8);
__interrupt_stack_end = .;
__stack_start = .;
. += DEFINED (__stack_size) ? __stack_size : _DEFAULT_STACK_SIZE;
. = ALIGN(0x8);
__stack_end = .;
__stack_start = .;
. += DEFINED (__stack_size) ? __stack_size : _DEFAULT_STACK_SIZE;
. = ALIGN(0x8);
__stack_end = .;
_end = .;
__heap_start = .;
__heap_end = ORIGIN(ram) + LENGTH(ram);
} > ram
__bss_words = (__bss_end - __bss_start) >> 2;
/**************/
/* End of ram */
/**************/
/* DWARF debug sections.
Symbols in the DWARF debugging sections are relative to the beginning

34
boards/OpenMV2/openmv2_full.gpr
View File

@ -69,24 +69,24 @@ library project OpenMV2_Full is
for Number_Of_Interrupts use "0";
end Device_Configuration;
Vendor := "STMicro"; -- From board definition
Max_Mount_Points := "2"; -- From default value
Max_Mount_Name_Length := "128"; -- From default value
Runtime_Profile := "ravenscar-full"; -- From command line
Device_Name := "STM32F427VGTx"; -- From board definition
Device_Family := "STM32F4"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Runtime_Name := "ravenscar-full-openmv2"; -- From default value
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Board := "OpenMV2"; -- From command line
Has_ZFP_Runtime := "False"; -- From board definition
Number_Of_Interrupts := "0"; -- From default value
High_Speed_External_Clock := "12000000"; -- From board definition
Use_Startup_Gen := "False"; -- From command line
Max_Path_Length := "1024"; -- From default value
Runtime_Name_Suffix := "openmv2"; -- From board definition
Architecture := "ARM"; -- From board definition
Board := "OpenMV2"; -- From command line
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Device_Family := "STM32F4"; -- From board definition
Device_Name := "STM32F427VGTx"; -- From board definition
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Has_ZFP_Runtime := "False"; -- From board definition
High_Speed_External_Clock := "12000000"; -- From board definition
Max_Mount_Name_Length := "128"; -- From default value
Max_Mount_Points := "2"; -- From default value
Max_Path_Length := "1024"; -- From default value
Number_Of_Interrupts := "0"; -- From default value
Runtime_Name := "ravenscar-full-openmv2"; -- From default value
Runtime_Name_Suffix := "openmv2"; -- From board definition
Runtime_Profile := "ravenscar-full"; -- From command line
Use_Startup_Gen := "False"; -- From command line
Vendor := "STMicro"; -- From board definition
-- Project source directories
Src_Dirs_Root := "../..";

34
boards/OpenMV2/openmv2_sfp.gpr
View File

@ -69,24 +69,24 @@ library project OpenMV2_SFP is
for Number_Of_Interrupts use "0";
end Device_Configuration;
Vendor := "STMicro"; -- From board definition
Max_Mount_Points := "2"; -- From default value
Max_Mount_Name_Length := "128"; -- From default value
Runtime_Profile := "ravenscar-sfp"; -- From command line
Device_Name := "STM32F427VGTx"; -- From board definition
Device_Family := "STM32F4"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Runtime_Name := "ravenscar-sfp-openmv2"; -- From default value
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Board := "OpenMV2"; -- From command line
Has_ZFP_Runtime := "False"; -- From board definition
Number_Of_Interrupts := "0"; -- From default value
High_Speed_External_Clock := "12000000"; -- From board definition
Use_Startup_Gen := "False"; -- From command line
Max_Path_Length := "1024"; -- From default value
Runtime_Name_Suffix := "openmv2"; -- From board definition
Architecture := "ARM"; -- From board definition
Board := "OpenMV2"; -- From command line
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Device_Family := "STM32F4"; -- From board definition
Device_Name := "STM32F427VGTx"; -- From board definition
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Has_ZFP_Runtime := "False"; -- From board definition
High_Speed_External_Clock := "12000000"; -- From board definition
Max_Mount_Name_Length := "128"; -- From default value
Max_Mount_Points := "2"; -- From default value
Max_Path_Length := "1024"; -- From default value
Number_Of_Interrupts := "0"; -- From default value
Runtime_Name := "ravenscar-sfp-openmv2"; -- From default value
Runtime_Name_Suffix := "openmv2"; -- From board definition
Runtime_Profile := "ravenscar-sfp"; -- From command line
Use_Startup_Gen := "False"; -- From command line
Vendor := "STMicro"; -- From board definition
-- Project source directories
Src_Dirs_Root := "../..";

34
boards/OpenMV2/src/full/adl_config.ads
View File

@ -1,21 +1,21 @@
-- This package was generated by the Ada_Drivers_Library project wizard script
package ADL_Config is
Vendor : constant String := "STMicro"; -- From board definition
Max_Mount_Points : constant := 2; -- From default value
Max_Mount_Name_Length : constant := 128; -- From default value
Runtime_Profile : constant String := "ravenscar-full"; -- From command line
Device_Name : constant String := "STM32F427VGTx"; -- From board definition
Device_Family : constant String := "STM32F4"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Runtime_Name : constant String := "ravenscar-full-openmv2"; -- From default value
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Board : constant String := "OpenMV2"; -- From command line
Has_ZFP_Runtime : constant String := "False"; -- From board definition
Number_Of_Interrupts : constant := 0; -- From default value
High_Speed_External_Clock : constant := 12000000; -- From board definition
Use_Startup_Gen : constant Boolean := False; -- From command line
Max_Path_Length : constant := 1024; -- From default value
Runtime_Name_Suffix : constant String := "openmv2"; -- From board definition
Architecture : constant String := "ARM"; -- From board definition
Board : constant String := "OpenMV2"; -- From command line
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Device_Family : constant String := "STM32F4"; -- From board definition
Device_Name : constant String := "STM32F427VGTx"; -- From board definition
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Has_ZFP_Runtime : constant String := "False"; -- From board definition
High_Speed_External_Clock : constant := 12000000; -- From board definition
Max_Mount_Name_Length : constant := 128; -- From default value
Max_Mount_Points : constant := 2; -- From default value
Max_Path_Length : constant := 1024; -- From default value
Number_Of_Interrupts : constant := 0; -- From default value
Runtime_Name : constant String := "ravenscar-full-openmv2"; -- From default value
Runtime_Name_Suffix : constant String := "openmv2"; -- From board definition
Runtime_Profile : constant String := "ravenscar-full"; -- From command line
Use_Startup_Gen : constant Boolean := False; -- From command line
Vendor : constant String := "STMicro"; -- From board definition
end ADL_Config;

34
boards/OpenMV2/src/sfp/adl_config.ads
View File

@ -1,21 +1,21 @@
-- This package was generated by the Ada_Drivers_Library project wizard script
package ADL_Config is
Vendor : constant String := "STMicro"; -- From board definition
Max_Mount_Points : constant := 2; -- From default value
Max_Mount_Name_Length : constant := 128; -- From default value
Runtime_Profile : constant String := "ravenscar-sfp"; -- From command line
Device_Name : constant String := "STM32F427VGTx"; -- From board definition
Device_Family : constant String := "STM32F4"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Runtime_Name : constant String := "ravenscar-sfp-openmv2"; -- From default value
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Board : constant String := "OpenMV2"; -- From command line
Has_ZFP_Runtime : constant String := "False"; -- From board definition
Number_Of_Interrupts : constant := 0; -- From default value
High_Speed_External_Clock : constant := 12000000; -- From board definition
Use_Startup_Gen : constant Boolean := False; -- From command line
Max_Path_Length : constant := 1024; -- From default value
Runtime_Name_Suffix : constant String := "openmv2"; -- From board definition
Architecture : constant String := "ARM"; -- From board definition
Board : constant String := "OpenMV2"; -- From command line
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Device_Family : constant String := "STM32F4"; -- From board definition
Device_Name : constant String := "STM32F427VGTx"; -- From board definition
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Has_ZFP_Runtime : constant String := "False"; -- From board definition
High_Speed_External_Clock : constant := 12000000; -- From board definition
Max_Mount_Name_Length : constant := 128; -- From default value
Max_Mount_Points : constant := 2; -- From default value
Max_Path_Length : constant := 1024; -- From default value
Number_Of_Interrupts : constant := 0; -- From default value
Runtime_Name : constant String := "ravenscar-sfp-openmv2"; -- From default value
Runtime_Name_Suffix : constant String := "openmv2"; -- From board definition
Runtime_Profile : constant String := "ravenscar-sfp"; -- From command line
Use_Startup_Gen : constant Boolean := False; -- From command line
Vendor : constant String := "STMicro"; -- From board definition
end ADL_Config;

32
boards/Unleashed/src/full/adl_config.ads
View File

@ -1,20 +1,20 @@
-- This package was generated by the Ada_Drivers_Library project wizard script
package ADL_Config is
Vendor : constant String := "SiFive"; -- From board definition
Max_Mount_Points : constant := 2; -- From default value
Max_Mount_Name_Length : constant := 128; -- From default value
Runtime_Profile : constant String := "ravenscar-full"; -- From command line
Device_Name : constant String := "U540"; -- From board definition
Device_Family : constant String := "U5"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Runtime_Name : constant String := "ravenscar-full-unleashed"; -- From default value
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
CPU_Core : constant String := "RISC-V64"; -- From mcu definition
Board : constant String := "Unleashed"; -- From command line
Has_ZFP_Runtime : constant String := "True"; -- From board definition
Number_Of_Interrupts : constant := 0; -- From default value
Use_Startup_Gen : constant Boolean := False; -- From command line
Max_Path_Length : constant := 1024; -- From default value
Runtime_Name_Suffix : constant String := "unleashed"; -- From board definition
Architecture : constant String := "RISC-V"; -- From board definition
Board : constant String := "Unleashed"; -- From command line
CPU_Core : constant String := "RISC-V64"; -- From mcu definition
Device_Family : constant String := "U5"; -- From board definition
Device_Name : constant String := "U540"; -- From board definition
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Has_ZFP_Runtime : constant String := "True"; -- From board definition
Max_Mount_Name_Length : constant := 128; -- From default value
Max_Mount_Points : constant := 2; -- From default value
Max_Path_Length : constant := 1024; -- From default value
Number_Of_Interrupts : constant := 0; -- From default value
Runtime_Name : constant String := "ravenscar-full-unleashed"; -- From default value
Runtime_Name_Suffix : constant String := "unleashed"; -- From board definition
Runtime_Profile : constant String := "ravenscar-full"; -- From command line
Use_Startup_Gen : constant Boolean := False; -- From command line
Vendor : constant String := "SiFive"; -- From board definition
end ADL_Config;

6
boards/Unleashed/src/full/sifive-device.ads
View File

@ -1,8 +1,8 @@
with SiFive.GPIO; use SiFive.GPIO;
with SiFive.UART; use SiFive.UART;
with System; use System;
with SiFive.SPI; use SiFive.SPI;
with SiFive.PWM; use SiFive.PWM;
with System; use System;
with SiFive.UART; use SiFive.UART;
with SiFive.GPIO; use SiFive.GPIO;
package SiFive.Device is

32
boards/Unleashed/src/sfp/adl_config.ads
View File

@ -1,20 +1,20 @@
-- This package was generated by the Ada_Drivers_Library project wizard script
package ADL_Config is
Vendor : constant String := "SiFive"; -- From board definition
Max_Mount_Points : constant := 2; -- From default value
Max_Mount_Name_Length : constant := 128; -- From default value
Runtime_Profile : constant String := "ravenscar-sfp"; -- From command line
Device_Name : constant String := "U540"; -- From board definition
Device_Family : constant String := "U5"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Runtime_Name : constant String := "ravenscar-sfp-unleashed"; -- From default value
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
CPU_Core : constant String := "RISC-V64"; -- From mcu definition
Board : constant String := "Unleashed"; -- From command line
Has_ZFP_Runtime : constant String := "True"; -- From board definition
Number_Of_Interrupts : constant := 0; -- From default value
Use_Startup_Gen : constant Boolean := False; -- From command line
Max_Path_Length : constant := 1024; -- From default value
Runtime_Name_Suffix : constant String := "unleashed"; -- From board definition
Architecture : constant String := "RISC-V"; -- From board definition
Board : constant String := "Unleashed"; -- From command line
CPU_Core : constant String := "RISC-V64"; -- From mcu definition
Device_Family : constant String := "U5"; -- From board definition
Device_Name : constant String := "U540"; -- From board definition
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Has_ZFP_Runtime : constant String := "True"; -- From board definition
Max_Mount_Name_Length : constant := 128; -- From default value
Max_Mount_Points : constant := 2; -- From default value
Max_Path_Length : constant := 1024; -- From default value
Number_Of_Interrupts : constant := 0; -- From default value
Runtime_Name : constant String := "ravenscar-sfp-unleashed"; -- From default value
Runtime_Name_Suffix : constant String := "unleashed"; -- From board definition
Runtime_Profile : constant String := "ravenscar-sfp"; -- From command line
Use_Startup_Gen : constant Boolean := False; -- From command line
Vendor : constant String := "SiFive"; -- From board definition
end ADL_Config;

4
boards/Unleashed/src/sfp/sifive-device.ads
View File

@ -1,8 +1,8 @@
with SiFive.GPIO; use SiFive.GPIO;
with SiFive.SPI; use SiFive.SPI;
with SiFive.GPIO; use SiFive.GPIO;
with SiFive.UART; use SiFive.UART;
with SiFive.PWM; use SiFive.PWM;
with System; use System;
with SiFive.UART; use SiFive.UART;
package SiFive.Device is

32
boards/Unleashed/src/zfp/adl_config.ads
View File

@ -1,20 +1,20 @@
-- This package was generated by the Ada_Drivers_Library project wizard script
package ADL_Config is
Vendor : constant String := "SiFive"; -- From board definition
Max_Mount_Points : constant := 2; -- From default value
Max_Mount_Name_Length : constant := 128; -- From default value
Runtime_Profile : constant String := "zfp"; -- From command line
Device_Name : constant String := "U540"; -- From board definition
Device_Family : constant String := "U5"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Runtime_Name : constant String := "zfp-unleashed"; -- From default value
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
CPU_Core : constant String := "RISC-V64"; -- From mcu definition
Board : constant String := "Unleashed"; -- From command line
Has_ZFP_Runtime : constant String := "True"; -- From board definition
Number_Of_Interrupts : constant := 0; -- From default value
Use_Startup_Gen : constant Boolean := False; -- From command line
Max_Path_Length : constant := 1024; -- From default value
Runtime_Name_Suffix : constant String := "unleashed"; -- From board definition
Architecture : constant String := "RISC-V"; -- From board definition
Board : constant String := "Unleashed"; -- From command line
CPU_Core : constant String := "RISC-V64"; -- From mcu definition
Device_Family : constant String := "U5"; -- From board definition
Device_Name : constant String := "U540"; -- From board definition
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Has_ZFP_Runtime : constant String := "True"; -- From board definition
Max_Mount_Name_Length : constant := 128; -- From default value
Max_Mount_Points : constant := 2; -- From default value
Max_Path_Length : constant := 1024; -- From default value
Number_Of_Interrupts : constant := 0; -- From default value
Runtime_Name : constant String := "zfp-unleashed"; -- From default value
Runtime_Name_Suffix : constant String := "unleashed"; -- From board definition
Runtime_Profile : constant String := "zfp"; -- From command line
Use_Startup_Gen : constant Boolean := False; -- From command line
Vendor : constant String := "SiFive"; -- From board definition
end ADL_Config;

2
boards/Unleashed/src/zfp/sifive-device.ads
View File

@ -1,7 +1,7 @@
with SiFive.GPIO; use SiFive.GPIO;
with SiFive.SPI; use SiFive.SPI;
with SiFive.PWM; use SiFive.PWM;
with System; use System;
with SiFive.GPIO; use SiFive.GPIO;
with SiFive.UART; use SiFive.UART;
package SiFive.Device is

36
boards/Unleashed/unleashed_full.gpr
View File

@ -69,23 +69,23 @@ library project Unleashed_Full is
for Number_Of_Interrupts use "0";
end Device_Configuration;
Vendor := "SiFive"; -- From board definition
Max_Mount_Points := "2"; -- From default value
Max_Mount_Name_Length := "128"; -- From default value
Runtime_Profile := "ravenscar-full"; -- From command line
Device_Name := "U540"; -- From board definition
Device_Family := "U5"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Runtime_Name := "ravenscar-full-unleashed"; -- From default value
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
CPU_Core := "RISC-V64"; -- From mcu definition
Board := "Unleashed"; -- From command line
Has_ZFP_Runtime := "True"; -- From board definition
Number_Of_Interrupts := "0"; -- From default value
Use_Startup_Gen := "False"; -- From command line
Max_Path_Length := "1024"; -- From default value
Runtime_Name_Suffix := "unleashed"; -- From board definition
Architecture := "RISC-V"; -- From board definition
Board := "Unleashed"; -- From command line
CPU_Core := "RISC-V64"; -- From mcu definition
Device_Family := "U5"; -- From board definition
Device_Name := "U540"; -- From board definition
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Has_ZFP_Runtime := "True"; -- From board definition
Max_Mount_Name_Length := "128"; -- From default value
Max_Mount_Points := "2"; -- From default value
Max_Path_Length := "1024"; -- From default value
Number_Of_Interrupts := "0"; -- From default value
Runtime_Name := "ravenscar-full-unleashed"; -- From default value
Runtime_Name_Suffix := "unleashed"; -- From board definition
Runtime_Profile := "ravenscar-full"; -- From command line
Use_Startup_Gen := "False"; -- From command line
Vendor := "SiFive"; -- From board definition
-- Project source directories
Src_Dirs_Root := "../..";
@ -94,11 +94,11 @@ library project Unleashed_Full is
Src_Dirs_Root & "/boards/Unleashed/src/", -- From board definition
Src_Dirs_Root & "/arch/RISC-V/src/", -- From arch definition
Src_Dirs_Root & "/arch/RISC-V/src/rv64", -- From arch definition
Src_Dirs_Root & "/arch/RISC-V/SiFive/drivers/gpio0", -- From MCU definition
Src_Dirs_Root & "/arch/RISC-V/SiFive/", -- From MCU definition
Src_Dirs_Root & "/arch/RISC-V/SiFive/drivers/spi0", -- From MCU definition
Src_Dirs_Root & "/arch/RISC-V/SiFive/drivers/pwm0", -- From MCU definition
Src_Dirs_Root & "/arch/RISC-V/SiFive/drivers/uart0", -- From MCU definition
Src_Dirs_Root & "/arch/RISC-V/SiFive/drivers/gpio0", -- From MCU definition
Src_Dirs_Root & "/arch/RISC-V/SiFive/drivers/pwm0", -- From MCU definition
Src_Dirs_Root & "/middleware/src/filesystem", -- From middleware config
Src_Dirs_Root & "/middleware/src/BLE", -- From middleware config
Src_Dirs_Root & "/middleware/src/utils", -- From middleware config

36
boards/Unleashed/unleashed_sfp.gpr
View File

@ -69,23 +69,23 @@ library project Unleashed_SFP is
for Number_Of_Interrupts use "0";
end Device_Configuration;
Vendor := "SiFive"; -- From board definition
Max_Mount_Points := "2"; -- From default value
Max_Mount_Name_Length := "128"; -- From default value
Runtime_Profile := "ravenscar-sfp"; -- From command line
Device_Name := "U540"; -- From board definition
Device_Family := "U5"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Runtime_Name := "ravenscar-sfp-unleashed"; -- From default value
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
CPU_Core := "RISC-V64"; -- From mcu definition
Board := "Unleashed"; -- From command line
Has_ZFP_Runtime := "True"; -- From board definition
Number_Of_Interrupts := "0"; -- From default value
Use_Startup_Gen := "False"; -- From command line
Max_Path_Length := "1024"; -- From default value
Runtime_Name_Suffix := "unleashed"; -- From board definition
Architecture := "RISC-V"; -- From board definition
Board := "Unleashed"; -- From command line
CPU_Core := "RISC-V64"; -- From mcu definition
Device_Family := "U5"; -- From board definition
Device_Name := "U540"; -- From board definition
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Has_ZFP_Runtime := "True"; -- From board definition
Max_Mount_Name_Length := "128"; -- From default value
Max_Mount_Points := "2"; -- From default value
Max_Path_Length := "1024"; -- From default value
Number_Of_Interrupts := "0"; -- From default value
Runtime_Name := "ravenscar-sfp-unleashed"; -- From default value
Runtime_Name_Suffix := "unleashed"; -- From board definition
Runtime_Profile := "ravenscar-sfp"; -- From command line
Use_Startup_Gen := "False"; -- From command line
Vendor := "SiFive"; -- From board definition
-- Project source directories
Src_Dirs_Root := "../..";
@ -94,10 +94,10 @@ library project Unleashed_SFP is
Src_Dirs_Root & "/boards/Unleashed/src/", -- From board definition
Src_Dirs_Root & "/arch/RISC-V/src/", -- From arch definition
Src_Dirs_Root & "/arch/RISC-V/src/rv64", -- From arch definition
Src_Dirs_Root & "/arch/RISC-V/SiFive/drivers/pwm0", -- From MCU definition
Src_Dirs_Root & "/arch/RISC-V/SiFive/drivers/spi0", -- From MCU definition
Src_Dirs_Root & "/arch/RISC-V/SiFive/drivers/gpio0", -- From MCU definition
Src_Dirs_Root & "/arch/RISC-V/SiFive/", -- From MCU definition
Src_Dirs_Root & "/arch/RISC-V/SiFive/drivers/spi0", -- From MCU definition
Src_Dirs_Root & "/arch/RISC-V/SiFive/drivers/pwm0", -- From MCU definition
Src_Dirs_Root & "/arch/RISC-V/SiFive/drivers/uart0", -- From MCU definition
Src_Dirs_Root & "/middleware/src/filesystem", -- From middleware config
Src_Dirs_Root & "/middleware/src/BLE", -- From middleware config

34
boards/Unleashed/unleashed_zfp.gpr
View File

@ -69,23 +69,23 @@ library project Unleashed_ZFP is
for Number_Of_Interrupts use "0";
end Device_Configuration;
Vendor := "SiFive"; -- From board definition
Max_Mount_Points := "2"; -- From default value
Max_Mount_Name_Length := "128"; -- From default value
Runtime_Profile := "zfp"; -- From command line
Device_Name := "U540"; -- From board definition
Device_Family := "U5"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Runtime_Name := "zfp-unleashed"; -- From default value
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
CPU_Core := "RISC-V64"; -- From mcu definition
Board := "Unleashed"; -- From command line
Has_ZFP_Runtime := "True"; -- From board definition
Number_Of_Interrupts := "0"; -- From default value
Use_Startup_Gen := "False"; -- From command line
Max_Path_Length := "1024"; -- From default value
Runtime_Name_Suffix := "unleashed"; -- From board definition
Architecture := "RISC-V"; -- From board definition
Board := "Unleashed"; -- From command line
CPU_Core := "RISC-V64"; -- From mcu definition
Device_Family := "U5"; -- From board definition
Device_Name := "U540"; -- From board definition
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Has_ZFP_Runtime := "True"; -- From board definition
Max_Mount_Name_Length := "128"; -- From default value
Max_Mount_Points := "2"; -- From default value
Max_Path_Length := "1024"; -- From default value
Number_Of_Interrupts := "0"; -- From default value
Runtime_Name := "zfp-unleashed"; -- From default value
Runtime_Name_Suffix := "unleashed"; -- From board definition
Runtime_Profile := "zfp"; -- From command line
Use_Startup_Gen := "False"; -- From command line
Vendor := "SiFive"; -- From board definition
-- Project source directories
Src_Dirs_Root := "../..";
@ -97,8 +97,8 @@ library project Unleashed_ZFP is
Src_Dirs_Root & "/arch/RISC-V/SiFive/drivers/gpio0", -- From MCU definition
Src_Dirs_Root & "/arch/RISC-V/SiFive/", -- From MCU definition
Src_Dirs_Root & "/arch/RISC-V/SiFive/drivers/spi0", -- From MCU definition
Src_Dirs_Root & "/arch/RISC-V/SiFive/drivers/pwm0", -- From MCU definition
Src_Dirs_Root & "/arch/RISC-V/SiFive/drivers/uart0", -- From MCU definition
Src_Dirs_Root & "/arch/RISC-V/SiFive/drivers/pwm0", -- From MCU definition
Src_Dirs_Root & "/middleware/src/filesystem", -- From middleware config
Src_Dirs_Root & "/middleware/src/BLE", -- From middleware config
Src_Dirs_Root & "/middleware/src/utils", -- From middleware config

34
boards/crazyflie/crazyflie_full.gpr
View File

@ -69,24 +69,24 @@ library project Crazyflie_Full is
for Number_Of_Interrupts use "0";
end Device_Configuration;
Vendor := "STMicro"; -- From board definition
Max_Mount_Points := "2"; -- From default value
Max_Mount_Name_Length := "128"; -- From default value
Runtime_Profile := "ravenscar-full"; -- From command line
Device_Name := "STM32F405RGTx"; -- From board definition
Device_Family := "STM32F4"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Runtime_Name := "ravenscar-full-stm32f4"; -- From default value
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Board := "Crazyflie"; -- From command line
Has_ZFP_Runtime := "False"; -- From board definition
Number_Of_Interrupts := "0"; -- From default value
High_Speed_External_Clock := "8000000"; -- From board definition
Use_Startup_Gen := "False"; -- From command line
Max_Path_Length := "1024"; -- From default value
Runtime_Name_Suffix := "stm32f4"; -- From board definition
Architecture := "ARM"; -- From board definition
Board := "Crazyflie"; -- From command line
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Device_Family := "STM32F4"; -- From board definition
Device_Name := "STM32F405RGTx"; -- From board definition
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Has_ZFP_Runtime := "False"; -- From board definition
High_Speed_External_Clock := "8000000"; -- From board definition
Max_Mount_Name_Length := "128"; -- From default value
Max_Mount_Points := "2"; -- From default value
Max_Path_Length := "1024"; -- From default value
Number_Of_Interrupts := "0"; -- From default value
Runtime_Name := "ravenscar-full-stm32f4"; -- From default value
Runtime_Name_Suffix := "stm32f4"; -- From board definition
Runtime_Profile := "ravenscar-full"; -- From command line
Use_Startup_Gen := "False"; -- From command line
Vendor := "STMicro"; -- From board definition
-- Project source directories
Src_Dirs_Root := "../..";

34
boards/crazyflie/crazyflie_sfp.gpr
View File

@ -69,24 +69,24 @@ library project Crazyflie_SFP is
for Number_Of_Interrupts use "0";
end Device_Configuration;
Vendor := "STMicro"; -- From board definition
Max_Mount_Points := "2"; -- From default value
Max_Mount_Name_Length := "128"; -- From default value
Runtime_Profile := "ravenscar-sfp"; -- From command line
Device_Name := "STM32F405RGTx"; -- From board definition
Device_Family := "STM32F4"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Runtime_Name := "ravenscar-sfp-stm32f4"; -- From default value
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Board := "Crazyflie"; -- From command line
Has_ZFP_Runtime := "False"; -- From board definition
Number_Of_Interrupts := "0"; -- From default value
High_Speed_External_Clock := "8000000"; -- From board definition
Use_Startup_Gen := "False"; -- From command line
Max_Path_Length := "1024"; -- From default value
Runtime_Name_Suffix := "stm32f4"; -- From board definition
Architecture := "ARM"; -- From board definition
Board := "Crazyflie"; -- From command line
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Device_Family := "STM32F4"; -- From board definition
Device_Name := "STM32F405RGTx"; -- From board definition
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Has_ZFP_Runtime := "False"; -- From board definition
High_Speed_External_Clock := "8000000"; -- From board definition
Max_Mount_Name_Length := "128"; -- From default value
Max_Mount_Points := "2"; -- From default value
Max_Path_Length := "1024"; -- From default value
Number_Of_Interrupts := "0"; -- From default value
Runtime_Name := "ravenscar-sfp-stm32f4"; -- From default value
Runtime_Name_Suffix := "stm32f4"; -- From board definition
Runtime_Profile := "ravenscar-sfp"; -- From command line
Use_Startup_Gen := "False"; -- From command line
Vendor := "STMicro"; -- From board definition
-- Project source directories
Src_Dirs_Root := "../..";

34
boards/crazyflie/src/full/adl_config.ads
View File

@ -1,21 +1,21 @@
-- This package was generated by the Ada_Drivers_Library project wizard script
package ADL_Config is
Vendor : constant String := "STMicro"; -- From board definition
Max_Mount_Points : constant := 2; -- From default value
Max_Mount_Name_Length : constant := 128; -- From default value
Runtime_Profile : constant String := "ravenscar-full"; -- From command line
Device_Name : constant String := "STM32F405RGTx"; -- From board definition
Device_Family : constant String := "STM32F4"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Runtime_Name : constant String := "ravenscar-full-stm32f4"; -- From default value
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Board : constant String := "Crazyflie"; -- From command line
Has_ZFP_Runtime : constant String := "False"; -- From board definition
Number_Of_Interrupts : constant := 0; -- From default value
High_Speed_External_Clock : constant := 8000000; -- From board definition
Use_Startup_Gen : constant Boolean := False; -- From command line
Max_Path_Length : constant := 1024; -- From default value
Runtime_Name_Suffix : constant String := "stm32f4"; -- From board definition
Architecture : constant String := "ARM"; -- From board definition
Board : constant String := "Crazyflie"; -- From command line
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Device_Family : constant String := "STM32F4"; -- From board definition
Device_Name : constant String := "STM32F405RGTx"; -- From board definition
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Has_ZFP_Runtime : constant String := "False"; -- From board definition
High_Speed_External_Clock : constant := 8000000; -- From board definition
Max_Mount_Name_Length : constant := 128; -- From default value
Max_Mount_Points : constant := 2; -- From default value
Max_Path_Length : constant := 1024; -- From default value
Number_Of_Interrupts : constant := 0; -- From default value
Runtime_Name : constant String := "ravenscar-full-stm32f4"; -- From default value
Runtime_Name_Suffix : constant String := "stm32f4"; -- From board definition
Runtime_Profile : constant String := "ravenscar-full"; -- From command line
Use_Startup_Gen : constant Boolean := False; -- From command line
Vendor : constant String := "STMicro"; -- From board definition
end ADL_Config;

34
boards/crazyflie/src/sfp/adl_config.ads
View File

@ -1,21 +1,21 @@
-- This package was generated by the Ada_Drivers_Library project wizard script
package ADL_Config is
Vendor : constant String := "STMicro"; -- From board definition
Max_Mount_Points : constant := 2; -- From default value
Max_Mount_Name_Length : constant := 128; -- From default value
Runtime_Profile : constant String := "ravenscar-sfp"; -- From command line
Device_Name : constant String := "STM32F405RGTx"; -- From board definition
Device_Family : constant String := "STM32F4"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Runtime_Name : constant String := "ravenscar-sfp-stm32f4"; -- From default value
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Board : constant String := "Crazyflie"; -- From command line
Has_ZFP_Runtime : constant String := "False"; -- From board definition
Number_Of_Interrupts : constant := 0; -- From default value
High_Speed_External_Clock : constant := 8000000; -- From board definition
Use_Startup_Gen : constant Boolean := False; -- From command line
Max_Path_Length : constant := 1024; -- From default value
Runtime_Name_Suffix : constant String := "stm32f4"; -- From board definition
Architecture : constant String := "ARM"; -- From board definition
Board : constant String := "Crazyflie"; -- From command line
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Device_Family : constant String := "STM32F4"; -- From board definition
Device_Name : constant String := "STM32F405RGTx"; -- From board definition
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Has_ZFP_Runtime : constant String := "False"; -- From board definition
High_Speed_External_Clock : constant := 8000000; -- From board definition
Max_Mount_Name_Length : constant := 128; -- From default value
Max_Mount_Points : constant := 2; -- From default value
Max_Path_Length : constant := 1024; -- From default value
Number_Of_Interrupts : constant := 0; -- From default value
Runtime_Name : constant String := "ravenscar-sfp-stm32f4"; -- From default value
Runtime_Name_Suffix : constant String := "stm32f4"; -- From board definition
Runtime_Profile : constant String := "ravenscar-sfp"; -- From command line
Use_Startup_Gen : constant Boolean := False; -- From command line
Vendor : constant String := "STMicro"; -- From board definition
end ADL_Config;

34
boards/feather_stm32f405/feather_stm32f405_full.gpr
View File

@ -69,24 +69,24 @@ library project Feather_STM32F405_Full is
for Number_Of_Interrupts use "0";
end Device_Configuration;
Vendor := "STMicro"; -- From board definition
Max_Mount_Points := "2"; -- From default value
Max_Mount_Name_Length := "128"; -- From default value
Runtime_Profile := "ravenscar-full"; -- From command line
Device_Name := "STM32F405RGTx"; -- From board definition
Device_Family := "STM32F4"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Runtime_Name := "ravenscar-full-feather_stm32f405"; -- From default value
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Board := "Feather_STM32F405"; -- From command line
Has_ZFP_Runtime := "False"; -- From board definition
Number_Of_Interrupts := "0"; -- From default value
High_Speed_External_Clock := "12000000"; -- From board definition
Use_Startup_Gen := "False"; -- From command line
Max_Path_Length := "1024"; -- From default value
Runtime_Name_Suffix := "feather_stm32f405"; -- From board definition
Architecture := "ARM"; -- From board definition
Board := "Feather_STM32F405"; -- From command line
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Device_Family := "STM32F4"; -- From board definition
Device_Name := "STM32F405RGTx"; -- From board definition
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Has_ZFP_Runtime := "False"; -- From board definition
High_Speed_External_Clock := "12000000"; -- From board definition
Max_Mount_Name_Length := "128"; -- From default value
Max_Mount_Points := "2"; -- From default value
Max_Path_Length := "1024"; -- From default value
Number_Of_Interrupts := "0"; -- From default value
Runtime_Name := "ravenscar-full-feather_stm32f405"; -- From default value
Runtime_Name_Suffix := "feather_stm32f405"; -- From board definition
Runtime_Profile := "ravenscar-full"; -- From command line
Use_Startup_Gen := "False"; -- From command line
Vendor := "STMicro"; -- From board definition
-- Project source directories
Src_Dirs_Root := "../..";

34
boards/feather_stm32f405/feather_stm32f405_sfp.gpr
View File

@ -69,24 +69,24 @@ library project Feather_STM32F405_SFP is
for Number_Of_Interrupts use "0";
end Device_Configuration;
Vendor := "STMicro"; -- From board definition
Max_Mount_Points := "2"; -- From default value
Max_Mount_Name_Length := "128"; -- From default value
Runtime_Profile := "ravenscar-sfp"; -- From command line
Device_Name := "STM32F405RGTx"; -- From board definition
Device_Family := "STM32F4"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Runtime_Name := "ravenscar-sfp-feather_stm32f405"; -- From default value
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Board := "Feather_STM32F405"; -- From command line
Has_ZFP_Runtime := "False"; -- From board definition
Number_Of_Interrupts := "0"; -- From default value
High_Speed_External_Clock := "12000000"; -- From board definition
Use_Startup_Gen := "False"; -- From command line
Max_Path_Length := "1024"; -- From default value
Runtime_Name_Suffix := "feather_stm32f405"; -- From board definition
Architecture := "ARM"; -- From board definition
Board := "Feather_STM32F405"; -- From command line
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Device_Family := "STM32F4"; -- From board definition
Device_Name := "STM32F405RGTx"; -- From board definition
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Has_ZFP_Runtime := "False"; -- From board definition
High_Speed_External_Clock := "12000000"; -- From board definition
Max_Mount_Name_Length := "128"; -- From default value
Max_Mount_Points := "2"; -- From default value
Max_Path_Length := "1024"; -- From default value
Number_Of_Interrupts := "0"; -- From default value
Runtime_Name := "ravenscar-sfp-feather_stm32f405"; -- From default value
Runtime_Name_Suffix := "feather_stm32f405"; -- From board definition
Runtime_Profile := "ravenscar-sfp"; -- From command line
Use_Startup_Gen := "False"; -- From command line
Vendor := "STMicro"; -- From board definition
-- Project source directories
Src_Dirs_Root := "../..";

34
boards/feather_stm32f405/src/full/adl_config.ads
View File

@ -1,21 +1,21 @@
-- This package was generated by the Ada_Drivers_Library project wizard script
package ADL_Config is
Vendor : constant String := "STMicro"; -- From board definition
Max_Mount_Points : constant := 2; -- From default value
Max_Mount_Name_Length : constant := 128; -- From default value
Runtime_Profile : constant String := "ravenscar-full"; -- From command line
Device_Name : constant String := "STM32F405RGTx"; -- From board definition
Device_Family : constant String := "STM32F4"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Runtime_Name : constant String := "ravenscar-full-feather_stm32f405"; -- From default value
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Board : constant String := "Feather_STM32F405"; -- From command line
Has_ZFP_Runtime : constant String := "False"; -- From board definition
Number_Of_Interrupts : constant := 0; -- From default value
High_Speed_External_Clock : constant := 12000000; -- From board definition
Use_Startup_Gen : constant Boolean := False; -- From command line
Max_Path_Length : constant := 1024; -- From default value
Runtime_Name_Suffix : constant String := "feather_stm32f405"; -- From board definition
Architecture : constant String := "ARM"; -- From board definition
Board : constant String := "Feather_STM32F405"; -- From command line
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Device_Family : constant String := "STM32F4"; -- From board definition
Device_Name : constant String := "STM32F405RGTx"; -- From board definition
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Has_ZFP_Runtime : constant String := "False"; -- From board definition
High_Speed_External_Clock : constant := 12000000; -- From board definition
Max_Mount_Name_Length : constant := 128; -- From default value
Max_Mount_Points : constant := 2; -- From default value
Max_Path_Length : constant := 1024; -- From default value
Number_Of_Interrupts : constant := 0; -- From default value
Runtime_Name : constant String := "ravenscar-full-feather_stm32f405"; -- From default value
Runtime_Name_Suffix : constant String := "feather_stm32f405"; -- From board definition
Runtime_Profile : constant String := "ravenscar-full"; -- From command line
Use_Startup_Gen : constant Boolean := False; -- From command line
Vendor : constant String := "STMicro"; -- From board definition
end ADL_Config;

34
boards/feather_stm32f405/src/sfp/adl_config.ads
View File

@ -1,21 +1,21 @@
-- This package was generated by the Ada_Drivers_Library project wizard script
package ADL_Config is
Vendor : constant String := "STMicro"; -- From board definition
Max_Mount_Points : constant := 2; -- From default value
Max_Mount_Name_Length : constant := 128; -- From default value
Runtime_Profile : constant String := "ravenscar-sfp"; -- From command line
Device_Name : constant String := "STM32F405RGTx"; -- From board definition
Device_Family : constant String := "STM32F4"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Runtime_Name : constant String := "ravenscar-sfp-feather_stm32f405"; -- From default value
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Board : constant String := "Feather_STM32F405"; -- From command line
Has_ZFP_Runtime : constant String := "False"; -- From board definition
Number_Of_Interrupts : constant := 0; -- From default value
High_Speed_External_Clock : constant := 12000000; -- From board definition
Use_Startup_Gen : constant Boolean := False; -- From command line
Max_Path_Length : constant := 1024; -- From default value
Runtime_Name_Suffix : constant String := "feather_stm32f405"; -- From board definition
Architecture : constant String := "ARM"; -- From board definition
Board : constant String := "Feather_STM32F405"; -- From command line
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Device_Family : constant String := "STM32F4"; -- From board definition
Device_Name : constant String := "STM32F405RGTx"; -- From board definition
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Has_ZFP_Runtime : constant String := "False"; -- From board definition
High_Speed_External_Clock : constant := 12000000; -- From board definition
Max_Mount_Name_Length : constant := 128; -- From default value
Max_Mount_Points : constant := 2; -- From default value
Max_Path_Length : constant := 1024; -- From default value
Number_Of_Interrupts : constant := 0; -- From default value
Runtime_Name : constant String := "ravenscar-sfp-feather_stm32f405"; -- From default value
Runtime_Name_Suffix : constant String := "feather_stm32f405"; -- From board definition
Runtime_Profile : constant String := "ravenscar-sfp"; -- From command line
Use_Startup_Gen : constant Boolean := False; -- From command line
Vendor : constant String := "STMicro"; -- From board definition
end ADL_Config;

16
boards/native/config_src/adl_config.ads
View File

@ -1,12 +1,12 @@
-- This package was generated by the Ada_Drivers_Library project wizard script
package ADL_Config is
Max_Mount_Points : constant := 2; -- From default value
Max_Mount_Name_Length : constant := 128; -- From default value
Has_Ravenscar_Full_Runtime : constant String := "False"; -- From default value
Board : constant String := "Native"; -- From command line
Has_ZFP_Runtime : constant String := "False"; -- From default value
Has_Ravenscar_SFP_Runtime : constant String := "False"; -- From default value
Use_Startup_Gen : constant Boolean := False; -- From command line
Max_Path_Length : constant := 1024; -- From default value
Architecture : constant String := "Native"; -- From board definition
Board : constant String := "Native"; -- From command line
Has_Ravenscar_Full_Runtime : constant String := "False"; -- From default value
Has_Ravenscar_SFP_Runtime : constant String := "False"; -- From default value
Has_ZFP_Runtime : constant String := "False"; -- From default value
Max_Mount_Name_Length : constant := 128; -- From default value
Max_Mount_Points : constant := 2; -- From default value
Max_Path_Length : constant := 1024; -- From default value
Use_Startup_Gen : constant Boolean := False; -- From command line
end ADL_Config;

16
boards/native/native.gpr
View File

@ -62,15 +62,15 @@ library project Native is
Linker_Switches := ();
Max_Mount_Points := "2"; -- From default value
Max_Mount_Name_Length := "128"; -- From default value
Has_Ravenscar_Full_Runtime := "False"; -- From default value
Board := "Native"; -- From command line
Has_ZFP_Runtime := "False"; -- From default value
Has_Ravenscar_SFP_Runtime := "False"; -- From default value
Use_Startup_Gen := "False"; -- From command line
Max_Path_Length := "1024"; -- From default value
Architecture := "Native"; -- From board definition
Board := "Native"; -- From command line
Has_Ravenscar_Full_Runtime := "False"; -- From default value
Has_Ravenscar_SFP_Runtime := "False"; -- From default value
Has_ZFP_Runtime := "False"; -- From default value
Max_Mount_Name_Length := "128"; -- From default value
Max_Mount_Points := "2"; -- From default value
Max_Path_Length := "1024"; -- From default value
Use_Startup_Gen := "False"; -- From command line
-- Project source directories
Src_Dirs_Root := "../..";

34
boards/nucleo_f446ze/nucleo_f446ze_full.gpr
View File

@ -69,24 +69,24 @@ library project NUCLEO_F446ZE_Full is
for Number_Of_Interrupts use "0";
end Device_Configuration;
Vendor := "STMicro"; -- From board definition
Max_Mount_Points := "2"; -- From default value
Max_Mount_Name_Length := "128"; -- From default value
Runtime_Profile := "ravenscar-full"; -- From command line
Device_Name := "STM32F407VGTx"; -- From board definition
Device_Family := "STM32F4"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Runtime_Name := "ravenscar-full-stm32f4"; -- From default value
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Board := "NUCLEO_F446ZE"; -- From command line
Has_ZFP_Runtime := "False"; -- From board definition
Number_Of_Interrupts := "0"; -- From default value
High_Speed_External_Clock := "8000000"; -- From board definition
Use_Startup_Gen := "False"; -- From command line
Max_Path_Length := "1024"; -- From default value
Runtime_Name_Suffix := "stm32f4"; -- From board definition
Architecture := "ARM"; -- From board definition
Board := "NUCLEO_F446ZE"; -- From command line
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Device_Family := "STM32F4"; -- From board definition
Device_Name := "STM32F407VGTx"; -- From board definition
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Has_ZFP_Runtime := "False"; -- From board definition
High_Speed_External_Clock := "8000000"; -- From board definition
Max_Mount_Name_Length := "128"; -- From default value
Max_Mount_Points := "2"; -- From default value
Max_Path_Length := "1024"; -- From default value
Number_Of_Interrupts := "0"; -- From default value
Runtime_Name := "ravenscar-full-stm32f4"; -- From default value
Runtime_Name_Suffix := "stm32f4"; -- From board definition
Runtime_Profile := "ravenscar-full"; -- From command line
Use_Startup_Gen := "False"; -- From command line
Vendor := "STMicro"; -- From board definition
-- Project source directories
Src_Dirs_Root := "../..";

34
boards/nucleo_f446ze/nucleo_f446ze_sfp.gpr
View File

@ -69,24 +69,24 @@ library project NUCLEO_F446ZE_SFP is
for Number_Of_Interrupts use "0";
end Device_Configuration;
Vendor := "STMicro"; -- From board definition
Max_Mount_Points := "2"; -- From default value
Max_Mount_Name_Length := "128"; -- From default value
Runtime_Profile := "ravenscar-sfp"; -- From command line
Device_Name := "STM32F407VGTx"; -- From board definition
Device_Family := "STM32F4"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Runtime_Name := "ravenscar-sfp-stm32f4"; -- From default value
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Board := "NUCLEO_F446ZE"; -- From command line
Has_ZFP_Runtime := "False"; -- From board definition
Number_Of_Interrupts := "0"; -- From default value
High_Speed_External_Clock := "8000000"; -- From board definition
Use_Startup_Gen := "False"; -- From command line
Max_Path_Length := "1024"; -- From default value
Runtime_Name_Suffix := "stm32f4"; -- From board definition
Architecture := "ARM"; -- From board definition
Board := "NUCLEO_F446ZE"; -- From command line
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Device_Family := "STM32F4"; -- From board definition
Device_Name := "STM32F407VGTx"; -- From board definition
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Has_ZFP_Runtime := "False"; -- From board definition
High_Speed_External_Clock := "8000000"; -- From board definition
Max_Mount_Name_Length := "128"; -- From default value
Max_Mount_Points := "2"; -- From default value
Max_Path_Length := "1024"; -- From default value
Number_Of_Interrupts := "0"; -- From default value
Runtime_Name := "ravenscar-sfp-stm32f4"; -- From default value
Runtime_Name_Suffix := "stm32f4"; -- From board definition
Runtime_Profile := "ravenscar-sfp"; -- From command line
Use_Startup_Gen := "False"; -- From command line
Vendor := "STMicro"; -- From board definition
-- Project source directories
Src_Dirs_Root := "../..";

34
boards/nucleo_f446ze/src/full/adl_config.ads
View File

@ -1,21 +1,21 @@
-- This package was generated by the Ada_Drivers_Library project wizard script
package ADL_Config is
Vendor : constant String := "STMicro"; -- From board definition
Max_Mount_Points : constant := 2; -- From default value
Max_Mount_Name_Length : constant := 128; -- From default value
Runtime_Profile : constant String := "ravenscar-full"; -- From command line
Device_Name : constant String := "STM32F407VGTx"; -- From board definition
Device_Family : constant String := "STM32F4"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Runtime_Name : constant String := "ravenscar-full-stm32f4"; -- From default value
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Board : constant String := "NUCLEO_F446ZE"; -- From command line
Has_ZFP_Runtime : constant String := "False"; -- From board definition
Number_Of_Interrupts : constant := 0; -- From default value
High_Speed_External_Clock : constant := 8000000; -- From board definition
Use_Startup_Gen : constant Boolean := False; -- From command line
Max_Path_Length : constant := 1024; -- From default value
Runtime_Name_Suffix : constant String := "stm32f4"; -- From board definition
Architecture : constant String := "ARM"; -- From board definition
Board : constant String := "NUCLEO_F446ZE"; -- From command line
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Device_Family : constant String := "STM32F4"; -- From board definition
Device_Name : constant String := "STM32F407VGTx"; -- From board definition
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Has_ZFP_Runtime : constant String := "False"; -- From board definition
High_Speed_External_Clock : constant := 8000000; -- From board definition
Max_Mount_Name_Length : constant := 128; -- From default value
Max_Mount_Points : constant := 2; -- From default value
Max_Path_Length : constant := 1024; -- From default value
Number_Of_Interrupts : constant := 0; -- From default value
Runtime_Name : constant String := "ravenscar-full-stm32f4"; -- From default value
Runtime_Name_Suffix : constant String := "stm32f4"; -- From board definition
Runtime_Profile : constant String := "ravenscar-full"; -- From command line
Use_Startup_Gen : constant Boolean := False; -- From command line
Vendor : constant String := "STMicro"; -- From board definition
end ADL_Config;

34
boards/nucleo_f446ze/src/sfp/adl_config.ads
View File

@ -1,21 +1,21 @@
-- This package was generated by the Ada_Drivers_Library project wizard script
package ADL_Config is
Vendor : constant String := "STMicro"; -- From board definition
Max_Mount_Points : constant := 2; -- From default value
Max_Mount_Name_Length : constant := 128; -- From default value
Runtime_Profile : constant String := "ravenscar-sfp"; -- From command line
Device_Name : constant String := "STM32F407VGTx"; -- From board definition
Device_Family : constant String := "STM32F4"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Runtime_Name : constant String := "ravenscar-sfp-stm32f4"; -- From default value
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Board : constant String := "NUCLEO_F446ZE"; -- From command line
Has_ZFP_Runtime : constant String := "False"; -- From board definition
Number_Of_Interrupts : constant := 0; -- From default value
High_Speed_External_Clock : constant := 8000000; -- From board definition
Use_Startup_Gen : constant Boolean := False; -- From command line
Max_Path_Length : constant := 1024; -- From default value
Runtime_Name_Suffix : constant String := "stm32f4"; -- From board definition
Architecture : constant String := "ARM"; -- From board definition
Board : constant String := "NUCLEO_F446ZE"; -- From command line
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Device_Family : constant String := "STM32F4"; -- From board definition
Device_Name : constant String := "STM32F407VGTx"; -- From board definition
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Has_ZFP_Runtime : constant String := "False"; -- From board definition
High_Speed_External_Clock : constant := 8000000; -- From board definition
Max_Mount_Name_Length : constant := 128; -- From default value
Max_Mount_Points : constant := 2; -- From default value
Max_Path_Length : constant := 1024; -- From default value
Number_Of_Interrupts : constant := 0; -- From default value
Runtime_Name : constant String := "ravenscar-sfp-stm32f4"; -- From default value
Runtime_Name_Suffix : constant String := "stm32f4"; -- From board definition
Runtime_Profile : constant String := "ravenscar-sfp"; -- From command line
Use_Startup_Gen : constant Boolean := False; -- From command line
Vendor : constant String := "STMicro"; -- From board definition
end ADL_Config;

2
boards/stm32_common/stm32f469disco/framebuffer_otm8009a.ads
View File

@ -31,12 +31,10 @@
with HAL; use HAL;
with HAL.Framebuffer; use HAL.Framebuffer;
with HAL.Bitmap;
with Framebuffer_DSI;
private with STM32.Device;
private with STM32.DMA2D_Bitmap;
private with STM32.DSI;
private with STM32.GPIO;

2
boards/stm32_common/stm32f769disco/framebuffer_otm8009a.ads
View File

@ -31,12 +31,10 @@
with HAL; use HAL;
with HAL.Framebuffer; use HAL.Framebuffer;
with HAL.Bitmap;
with Framebuffer_DSI;
private with STM32.Device;
private with STM32.DMA2D_Bitmap;
private with STM32.DSI;
private with STM32.GPIO;

26
boards/stm32_h405/src/full/adl_config.ads
View File

@ -1,21 +1,21 @@
-- This package was generated by the Ada_Drivers_Library project wizard script
package ADL_Config is
Board : constant String := "STM32_H405"; -- From user input
Architecture : constant String := "ARM"; -- From board definition
Vendor : constant String := "STMicro"; -- From board definition
Board : constant String := "STM32_H405"; -- From command line
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Device_Family : constant String := "STM32F4"; -- From board definition
Device_Name : constant String := "STM32F405RGTx"; -- From board definition
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
High_Speed_External_Clock : constant := 8_000_000; -- From board definition
Number_Of_Interrupts : constant := 0; -- From user input
Has_ZFP_Runtime : constant String := "False"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
Runtime_Profile : constant String := "ravenscar-full"; -- From user input
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Has_ZFP_Runtime : constant String := "False"; -- From board definition
High_Speed_External_Clock : constant := 8_000_000; -- From board definition
Max_Mount_Name_Length : constant := 128; -- From default value
Max_Mount_Points : constant := 2; -- From default value
Max_Path_Length : constant := 1024; -- From default value
Number_Of_Interrupts : constant := 0; -- From default value
Runtime_Name : constant String := "ravenscar-full-stm32f4"; -- From default value
Runtime_Name_Suffix : constant String := "stm32f4"; -- From board definition
Runtime_Name : constant String := "ravenscar-full-stm32f4"; -- From user input
Use_Startup_Gen : constant Boolean := False; -- From user input
Max_Path_Length : constant := 1024; -- From user input
Max_Mount_Points : constant := 2; -- From user input
Max_Mount_Name_Length : constant := 128; -- From user input
Runtime_Profile : constant String := "ravenscar-full"; -- From command line
Use_Startup_Gen : constant Boolean := False; -- From command line
Vendor : constant String := "STMicro"; -- From board definition
end ADL_Config;

26
boards/stm32_h405/src/sfp/adl_config.ads
View File

@ -1,21 +1,21 @@
-- This package was generated by the Ada_Drivers_Library project wizard script
package ADL_Config is
Board : constant String := "STM32_H405"; -- From user input
Architecture : constant String := "ARM"; -- From board definition
Vendor : constant String := "STMicro"; -- From board definition
Board : constant String := "STM32_H405"; -- From command line
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Device_Family : constant String := "STM32F4"; -- From board definition
Device_Name : constant String := "STM32F405RGTx"; -- From board definition
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
High_Speed_External_Clock : constant := 8_000_000; -- From board definition
Number_Of_Interrupts : constant := 0; -- From user input
Has_ZFP_Runtime : constant String := "False"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
Runtime_Profile : constant String := "ravenscar-sfp"; -- From user input
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Has_ZFP_Runtime : constant String := "False"; -- From board definition
High_Speed_External_Clock : constant := 8_000_000; -- From board definition
Max_Mount_Name_Length : constant := 128; -- From default value
Max_Mount_Points : constant := 2; -- From default value
Max_Path_Length : constant := 1024; -- From default value
Number_Of_Interrupts : constant := 0; -- From default value
Runtime_Name : constant String := "ravenscar-sfp-stm32f4"; -- From default value
Runtime_Name_Suffix : constant String := "stm32f4"; -- From board definition
Runtime_Name : constant String := "ravenscar-sfp-stm32f4"; -- From user input
Use_Startup_Gen : constant Boolean := False; -- From user input
Max_Path_Length : constant := 1024; -- From user input
Max_Mount_Points : constant := 2; -- From user input
Max_Mount_Name_Length : constant := 128; -- From user input
Runtime_Profile : constant String := "ravenscar-sfp"; -- From command line
Use_Startup_Gen : constant Boolean := False; -- From command line
Vendor : constant String := "STMicro"; -- From board definition
end ADL_Config;

30
boards/stm32_h405/stm32_h405_full.gpr
View File

@ -55,8 +55,8 @@ library project STM32_H405_Full is
for Languages use ("Ada");
for Create_Missing_Dirs use "True";
for Object_Dir use "obj_" & Build;
for Library_Dir use "obj_lib_" & Build;
for Object_Dir use "obj/full_" & Build;
for Library_Dir use "obj/full_lib_" & Build;
for Library_Kind use "static";
for Library_Name use "ada_drivers_library";
@ -69,24 +69,24 @@ library project STM32_H405_Full is
for Number_Of_Interrupts use "0";
end Device_Configuration;
Board := "STM32_H405"; -- From user input
Architecture := "ARM"; -- From board definition
Vendor := "STMicro"; -- From board definition
Board := "STM32_H405"; -- From command line
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Device_Family := "STM32F4"; -- From board definition
Device_Name := "STM32F405RGTx"; -- From board definition
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
High_Speed_External_Clock := "8_000_000"; -- From board definition
Number_Of_Interrupts := "0"; -- From user input
Has_ZFP_Runtime := "False"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
Runtime_Profile := "ravenscar-full"; -- From user input
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Has_ZFP_Runtime := "False"; -- From board definition
High_Speed_External_Clock := "8_000_000"; -- From board definition
Max_Mount_Name_Length := "128"; -- From default value
Max_Mount_Points := "2"; -- From default value
Max_Path_Length := "1024"; -- From default value
Number_Of_Interrupts := "0"; -- From default value
Runtime_Name := "ravenscar-full-stm32f4"; -- From default value
Runtime_Name_Suffix := "stm32f4"; -- From board definition
Runtime_Name := "ravenscar-full-stm32f4"; -- From user input
Use_Startup_Gen := "False"; -- From user input
Max_Path_Length := "1024"; -- From user input
Max_Mount_Points := "2"; -- From user input
Max_Mount_Name_Length := "128"; -- From user input
Runtime_Profile := "ravenscar-full"; -- From command line
Use_Startup_Gen := "False"; -- From command line
Vendor := "STMicro"; -- From board definition
-- Project source directories
Src_Dirs_Root := "../..";

30
boards/stm32_h405/stm32_h405_sfp.gpr
View File

@ -55,8 +55,8 @@ library project STM32_H405_SFP is
for Languages use ("Ada");
for Create_Missing_Dirs use "True";
for Object_Dir use "obj_" & Build;
for Library_Dir use "obj_lib_" & Build;
for Object_Dir use "obj/sfp_" & Build;
for Library_Dir use "obj/sfp_lib_" & Build;
for Library_Kind use "static";
for Library_Name use "ada_drivers_library";
@ -69,24 +69,24 @@ library project STM32_H405_SFP is
for Number_Of_Interrupts use "0";
end Device_Configuration;
Board := "STM32_H405"; -- From user input
Architecture := "ARM"; -- From board definition
Vendor := "STMicro"; -- From board definition
Board := "STM32_H405"; -- From command line
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Device_Family := "STM32F4"; -- From board definition
Device_Name := "STM32F405RGTx"; -- From board definition
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
High_Speed_External_Clock := "8_000_000"; -- From board definition
Number_Of_Interrupts := "0"; -- From user input
Has_ZFP_Runtime := "False"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
Runtime_Profile := "ravenscar-sfp"; -- From user input
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Has_ZFP_Runtime := "False"; -- From board definition
High_Speed_External_Clock := "8_000_000"; -- From board definition
Max_Mount_Name_Length := "128"; -- From default value
Max_Mount_Points := "2"; -- From default value
Max_Path_Length := "1024"; -- From default value
Number_Of_Interrupts := "0"; -- From default value
Runtime_Name := "ravenscar-sfp-stm32f4"; -- From default value
Runtime_Name_Suffix := "stm32f4"; -- From board definition
Runtime_Name := "ravenscar-sfp-stm32f4"; -- From user input
Use_Startup_Gen := "False"; -- From user input
Max_Path_Length := "1024"; -- From user input
Max_Mount_Points := "2"; -- From user input
Max_Mount_Name_Length := "128"; -- From user input
Runtime_Profile := "ravenscar-sfp"; -- From command line
Use_Startup_Gen := "False"; -- From command line
Vendor := "STMicro"; -- From board definition
-- Project source directories
Src_Dirs_Root := "../..";

34
boards/stm32f407_discovery/src/full/adl_config.ads
View File

@ -1,21 +1,21 @@
-- This package was generated by the Ada_Drivers_Library project wizard script
package ADL_Config is
Vendor : constant String := "STMicro"; -- From board definition
Max_Mount_Points : constant := 2; -- From default value
Max_Mount_Name_Length : constant := 128; -- From default value
Runtime_Profile : constant String := "ravenscar-full"; -- From command line
Device_Name : constant String := "STM32F407VGTx"; -- From board definition
Device_Family : constant String := "STM32F4"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Runtime_Name : constant String := "ravenscar-full-stm32f4"; -- From default value
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Board : constant String := "STM32F407_Discovery"; -- From command line
Has_ZFP_Runtime : constant String := "False"; -- From board definition
Number_Of_Interrupts : constant := 0; -- From default value
High_Speed_External_Clock : constant := 8000000; -- From board definition
Use_Startup_Gen : constant Boolean := False; -- From command line
Max_Path_Length : constant := 1024; -- From default value
Runtime_Name_Suffix : constant String := "stm32f4"; -- From board definition
Architecture : constant String := "ARM"; -- From board definition
Board : constant String := "STM32F407_Discovery"; -- From command line
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Device_Family : constant String := "STM32F4"; -- From board definition
Device_Name : constant String := "STM32F407VGTx"; -- From board definition
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Has_ZFP_Runtime : constant String := "False"; -- From board definition
High_Speed_External_Clock : constant := 8000000; -- From board definition
Max_Mount_Name_Length : constant := 128; -- From default value
Max_Mount_Points : constant := 2; -- From default value
Max_Path_Length : constant := 1024; -- From default value
Number_Of_Interrupts : constant := 0; -- From default value
Runtime_Name : constant String := "ravenscar-full-stm32f4"; -- From default value
Runtime_Name_Suffix : constant String := "stm32f4"; -- From board definition
Runtime_Profile : constant String := "ravenscar-full"; -- From command line
Use_Startup_Gen : constant Boolean := False; -- From command line
Vendor : constant String := "STMicro"; -- From board definition
end ADL_Config;

34
boards/stm32f407_discovery/src/sfp/adl_config.ads
View File

@ -1,21 +1,21 @@
-- This package was generated by the Ada_Drivers_Library project wizard script
package ADL_Config is
Vendor : constant String := "STMicro"; -- From board definition
Max_Mount_Points : constant := 2; -- From default value
Max_Mount_Name_Length : constant := 128; -- From default value
Runtime_Profile : constant String := "ravenscar-sfp"; -- From command line
Device_Name : constant String := "STM32F407VGTx"; -- From board definition
Device_Family : constant String := "STM32F4"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Runtime_Name : constant String := "ravenscar-sfp-stm32f4"; -- From default value
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Board : constant String := "STM32F407_Discovery"; -- From command line
Has_ZFP_Runtime : constant String := "False"; -- From board definition
Number_Of_Interrupts : constant := 0; -- From default value
High_Speed_External_Clock : constant := 8000000; -- From board definition
Use_Startup_Gen : constant Boolean := False; -- From command line
Max_Path_Length : constant := 1024; -- From default value
Runtime_Name_Suffix : constant String := "stm32f4"; -- From board definition
Architecture : constant String := "ARM"; -- From board definition
Board : constant String := "STM32F407_Discovery"; -- From command line
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Device_Family : constant String := "STM32F4"; -- From board definition
Device_Name : constant String := "STM32F407VGTx"; -- From board definition
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Has_ZFP_Runtime : constant String := "False"; -- From board definition
High_Speed_External_Clock : constant := 8000000; -- From board definition
Max_Mount_Name_Length : constant := 128; -- From default value
Max_Mount_Points : constant := 2; -- From default value
Max_Path_Length : constant := 1024; -- From default value
Number_Of_Interrupts : constant := 0; -- From default value
Runtime_Name : constant String := "ravenscar-sfp-stm32f4"; -- From default value
Runtime_Name_Suffix : constant String := "stm32f4"; -- From board definition
Runtime_Profile : constant String := "ravenscar-sfp"; -- From command line
Use_Startup_Gen : constant Boolean := False; -- From command line
Vendor : constant String := "STMicro"; -- From board definition
end ADL_Config;

34
boards/stm32f407_discovery/stm32f407_discovery_full.gpr
View File

@ -69,24 +69,24 @@ library project STM32F407_Discovery_Full is
for Number_Of_Interrupts use "0";
end Device_Configuration;
Vendor := "STMicro"; -- From board definition
Max_Mount_Points := "2"; -- From default value
Max_Mount_Name_Length := "128"; -- From default value
Runtime_Profile := "ravenscar-full"; -- From command line
Device_Name := "STM32F407VGTx"; -- From board definition
Device_Family := "STM32F4"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Runtime_Name := "ravenscar-full-stm32f4"; -- From default value
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Board := "STM32F407_Discovery"; -- From command line
Has_ZFP_Runtime := "False"; -- From board definition
Number_Of_Interrupts := "0"; -- From default value
High_Speed_External_Clock := "8000000"; -- From board definition
Use_Startup_Gen := "False"; -- From command line
Max_Path_Length := "1024"; -- From default value
Runtime_Name_Suffix := "stm32f4"; -- From board definition
Architecture := "ARM"; -- From board definition
Board := "STM32F407_Discovery"; -- From command line
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Device_Family := "STM32F4"; -- From board definition
Device_Name := "STM32F407VGTx"; -- From board definition
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Has_ZFP_Runtime := "False"; -- From board definition
High_Speed_External_Clock := "8000000"; -- From board definition
Max_Mount_Name_Length := "128"; -- From default value
Max_Mount_Points := "2"; -- From default value
Max_Path_Length := "1024"; -- From default value
Number_Of_Interrupts := "0"; -- From default value
Runtime_Name := "ravenscar-full-stm32f4"; -- From default value
Runtime_Name_Suffix := "stm32f4"; -- From board definition
Runtime_Profile := "ravenscar-full"; -- From command line
Use_Startup_Gen := "False"; -- From command line
Vendor := "STMicro"; -- From board definition
-- Project source directories
Src_Dirs_Root := "../..";

34
boards/stm32f407_discovery/stm32f407_discovery_sfp.gpr
View File

@ -69,24 +69,24 @@ library project STM32F407_Discovery_SFP is
for Number_Of_Interrupts use "0";
end Device_Configuration;
Vendor := "STMicro"; -- From board definition
Max_Mount_Points := "2"; -- From default value
Max_Mount_Name_Length := "128"; -- From default value
Runtime_Profile := "ravenscar-sfp"; -- From command line
Device_Name := "STM32F407VGTx"; -- From board definition
Device_Family := "STM32F4"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Runtime_Name := "ravenscar-sfp-stm32f4"; -- From default value
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Board := "STM32F407_Discovery"; -- From command line
Has_ZFP_Runtime := "False"; -- From board definition
Number_Of_Interrupts := "0"; -- From default value
High_Speed_External_Clock := "8000000"; -- From board definition
Use_Startup_Gen := "False"; -- From command line
Max_Path_Length := "1024"; -- From default value
Runtime_Name_Suffix := "stm32f4"; -- From board definition
Architecture := "ARM"; -- From board definition
Board := "STM32F407_Discovery"; -- From command line
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Device_Family := "STM32F4"; -- From board definition
Device_Name := "STM32F407VGTx"; -- From board definition
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Has_ZFP_Runtime := "False"; -- From board definition
High_Speed_External_Clock := "8000000"; -- From board definition
Max_Mount_Name_Length := "128"; -- From default value
Max_Mount_Points := "2"; -- From default value
Max_Path_Length := "1024"; -- From default value
Number_Of_Interrupts := "0"; -- From default value
Runtime_Name := "ravenscar-sfp-stm32f4"; -- From default value
Runtime_Name_Suffix := "stm32f4"; -- From board definition
Runtime_Profile := "ravenscar-sfp"; -- From command line
Use_Startup_Gen := "False"; -- From command line
Vendor := "STMicro"; -- From board definition
-- Project source directories
Src_Dirs_Root := "../..";

34
boards/stm32f429_discovery/src/full/adl_config.ads
View File

@ -1,21 +1,21 @@
-- This package was generated by the Ada_Drivers_Library project wizard script
package ADL_Config is
Vendor : constant String := "STMicro"; -- From board definition
Max_Mount_Points : constant := 2; -- From default value
Max_Mount_Name_Length : constant := 128; -- From default value
Runtime_Profile : constant String := "ravenscar-full"; -- From command line
Device_Name : constant String := "STM32F429ZITx"; -- From board definition
Device_Family : constant String := "STM32F4"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Runtime_Name : constant String := "ravenscar-full-stm32f429disco"; -- From default value
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Board : constant String := "STM32F429_Discovery"; -- From command line
Has_ZFP_Runtime : constant String := "False"; -- From board definition
Number_Of_Interrupts : constant := 0; -- From default value
High_Speed_External_Clock : constant := 8000000; -- From board definition
Use_Startup_Gen : constant Boolean := False; -- From command line
Max_Path_Length : constant := 1024; -- From default value
Runtime_Name_Suffix : constant String := "stm32f429disco"; -- From board definition
Architecture : constant String := "ARM"; -- From board definition
Board : constant String := "STM32F429_Discovery"; -- From command line
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Device_Family : constant String := "STM32F4"; -- From board definition
Device_Name : constant String := "STM32F429ZITx"; -- From board definition
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Has_ZFP_Runtime : constant String := "False"; -- From board definition
High_Speed_External_Clock : constant := 8000000; -- From board definition
Max_Mount_Name_Length : constant := 128; -- From default value
Max_Mount_Points : constant := 2; -- From default value
Max_Path_Length : constant := 1024; -- From default value
Number_Of_Interrupts : constant := 0; -- From default value
Runtime_Name : constant String := "ravenscar-full-stm32f429disco"; -- From default value
Runtime_Name_Suffix : constant String := "stm32f429disco"; -- From board definition
Runtime_Profile : constant String := "ravenscar-full"; -- From command line
Use_Startup_Gen : constant Boolean := False; -- From command line
Vendor : constant String := "STMicro"; -- From board definition
end ADL_Config;

34
boards/stm32f429_discovery/src/sfp/adl_config.ads
View File

@ -1,21 +1,21 @@
-- This package was generated by the Ada_Drivers_Library project wizard script
package ADL_Config is
Vendor : constant String := "STMicro"; -- From board definition
Max_Mount_Points : constant := 2; -- From default value
Max_Mount_Name_Length : constant := 128; -- From default value
Runtime_Profile : constant String := "ravenscar-sfp"; -- From command line
Device_Name : constant String := "STM32F429ZITx"; -- From board definition
Device_Family : constant String := "STM32F4"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Runtime_Name : constant String := "ravenscar-sfp-stm32f429disco"; -- From default value
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Board : constant String := "STM32F429_Discovery"; -- From command line
Has_ZFP_Runtime : constant String := "False"; -- From board definition
Number_Of_Interrupts : constant := 0; -- From default value
High_Speed_External_Clock : constant := 8000000; -- From board definition
Use_Startup_Gen : constant Boolean := False; -- From command line
Max_Path_Length : constant := 1024; -- From default value
Runtime_Name_Suffix : constant String := "stm32f429disco"; -- From board definition
Architecture : constant String := "ARM"; -- From board definition
Board : constant String := "STM32F429_Discovery"; -- From command line
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Device_Family : constant String := "STM32F4"; -- From board definition
Device_Name : constant String := "STM32F429ZITx"; -- From board definition
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Has_ZFP_Runtime : constant String := "False"; -- From board definition
High_Speed_External_Clock : constant := 8000000; -- From board definition
Max_Mount_Name_Length : constant := 128; -- From default value
Max_Mount_Points : constant := 2; -- From default value
Max_Path_Length : constant := 1024; -- From default value
Number_Of_Interrupts : constant := 0; -- From default value
Runtime_Name : constant String := "ravenscar-sfp-stm32f429disco"; -- From default value
Runtime_Name_Suffix : constant String := "stm32f429disco"; -- From board definition
Runtime_Profile : constant String := "ravenscar-sfp"; -- From command line
Use_Startup_Gen : constant Boolean := False; -- From command line
Vendor : constant String := "STMicro"; -- From board definition
end ADL_Config;

34
boards/stm32f429_discovery/stm32f429_discovery_full.gpr
View File

@ -69,24 +69,24 @@ library project STM32F429_Discovery_Full is
for Number_Of_Interrupts use "0";
end Device_Configuration;
Vendor := "STMicro"; -- From board definition
Max_Mount_Points := "2"; -- From default value
Max_Mount_Name_Length := "128"; -- From default value
Runtime_Profile := "ravenscar-full"; -- From command line
Device_Name := "STM32F429ZITx"; -- From board definition
Device_Family := "STM32F4"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Runtime_Name := "ravenscar-full-stm32f429disco"; -- From default value
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Board := "STM32F429_Discovery"; -- From command line
Has_ZFP_Runtime := "False"; -- From board definition
Number_Of_Interrupts := "0"; -- From default value
High_Speed_External_Clock := "8000000"; -- From board definition
Use_Startup_Gen := "False"; -- From command line
Max_Path_Length := "1024"; -- From default value
Runtime_Name_Suffix := "stm32f429disco"; -- From board definition
Architecture := "ARM"; -- From board definition
Board := "STM32F429_Discovery"; -- From command line
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Device_Family := "STM32F4"; -- From board definition
Device_Name := "STM32F429ZITx"; -- From board definition
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Has_ZFP_Runtime := "False"; -- From board definition
High_Speed_External_Clock := "8000000"; -- From board definition
Max_Mount_Name_Length := "128"; -- From default value
Max_Mount_Points := "2"; -- From default value
Max_Path_Length := "1024"; -- From default value
Number_Of_Interrupts := "0"; -- From default value
Runtime_Name := "ravenscar-full-stm32f429disco"; -- From default value
Runtime_Name_Suffix := "stm32f429disco"; -- From board definition
Runtime_Profile := "ravenscar-full"; -- From command line
Use_Startup_Gen := "False"; -- From command line
Vendor := "STMicro"; -- From board definition
-- Project source directories
Src_Dirs_Root := "../..";

34
boards/stm32f429_discovery/stm32f429_discovery_sfp.gpr
View File

@ -69,24 +69,24 @@ library project STM32F429_Discovery_SFP is
for Number_Of_Interrupts use "0";
end Device_Configuration;
Vendor := "STMicro"; -- From board definition
Max_Mount_Points := "2"; -- From default value
Max_Mount_Name_Length := "128"; -- From default value
Runtime_Profile := "ravenscar-sfp"; -- From command line
Device_Name := "STM32F429ZITx"; -- From board definition
Device_Family := "STM32F4"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Runtime_Name := "ravenscar-sfp-stm32f429disco"; -- From default value
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Board := "STM32F429_Discovery"; -- From command line
Has_ZFP_Runtime := "False"; -- From board definition
Number_Of_Interrupts := "0"; -- From default value
High_Speed_External_Clock := "8000000"; -- From board definition
Use_Startup_Gen := "False"; -- From command line
Max_Path_Length := "1024"; -- From default value
Runtime_Name_Suffix := "stm32f429disco"; -- From board definition
Architecture := "ARM"; -- From board definition
Board := "STM32F429_Discovery"; -- From command line
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Device_Family := "STM32F4"; -- From board definition
Device_Name := "STM32F429ZITx"; -- From board definition
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Has_ZFP_Runtime := "False"; -- From board definition
High_Speed_External_Clock := "8000000"; -- From board definition
Max_Mount_Name_Length := "128"; -- From default value
Max_Mount_Points := "2"; -- From default value
Max_Path_Length := "1024"; -- From default value
Number_Of_Interrupts := "0"; -- From default value
Runtime_Name := "ravenscar-sfp-stm32f429disco"; -- From default value
Runtime_Name_Suffix := "stm32f429disco"; -- From board definition
Runtime_Profile := "ravenscar-sfp"; -- From command line
Use_Startup_Gen := "False"; -- From command line
Vendor := "STMicro"; -- From board definition
-- Project source directories
Src_Dirs_Root := "../..";

34
boards/stm32f469_discovery/src/full/adl_config.ads
View File

@ -1,21 +1,21 @@
-- This package was generated by the Ada_Drivers_Library project wizard script
package ADL_Config is
Vendor : constant String := "STMicro"; -- From board definition
Max_Mount_Points : constant := 2; -- From default value
Max_Mount_Name_Length : constant := 128; -- From default value
Runtime_Profile : constant String := "ravenscar-full"; -- From command line
Device_Name : constant String := "STM32F469NIHx"; -- From board definition
Device_Family : constant String := "STM32F4"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Runtime_Name : constant String := "ravenscar-full-stm32f469disco"; -- From default value
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Board : constant String := "STM32F469_Discovery"; -- From command line
Has_ZFP_Runtime : constant String := "False"; -- From board definition
Number_Of_Interrupts : constant := 0; -- From default value
High_Speed_External_Clock : constant := 8000000; -- From board definition
Use_Startup_Gen : constant Boolean := False; -- From command line
Max_Path_Length : constant := 1024; -- From default value
Runtime_Name_Suffix : constant String := "stm32f469disco"; -- From board definition
Architecture : constant String := "ARM"; -- From board definition
Board : constant String := "STM32F469_Discovery"; -- From command line
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Device_Family : constant String := "STM32F4"; -- From board definition
Device_Name : constant String := "STM32F469NIHx"; -- From board definition
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Has_ZFP_Runtime : constant String := "False"; -- From board definition
High_Speed_External_Clock : constant := 8000000; -- From board definition
Max_Mount_Name_Length : constant := 128; -- From default value
Max_Mount_Points : constant := 2; -- From default value
Max_Path_Length : constant := 1024; -- From default value
Number_Of_Interrupts : constant := 0; -- From default value
Runtime_Name : constant String := "ravenscar-full-stm32f469disco"; -- From default value
Runtime_Name_Suffix : constant String := "stm32f469disco"; -- From board definition
Runtime_Profile : constant String := "ravenscar-full"; -- From command line
Use_Startup_Gen : constant Boolean := False; -- From command line
Vendor : constant String := "STMicro"; -- From board definition
end ADL_Config;

34
boards/stm32f469_discovery/src/sfp/adl_config.ads
View File

@ -1,21 +1,21 @@
-- This package was generated by the Ada_Drivers_Library project wizard script
package ADL_Config is
Vendor : constant String := "STMicro"; -- From board definition
Max_Mount_Points : constant := 2; -- From default value
Max_Mount_Name_Length : constant := 128; -- From default value
Runtime_Profile : constant String := "ravenscar-sfp"; -- From command line
Device_Name : constant String := "STM32F469NIHx"; -- From board definition
Device_Family : constant String := "STM32F4"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Runtime_Name : constant String := "ravenscar-sfp-stm32f469disco"; -- From default value
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Board : constant String := "STM32F469_Discovery"; -- From command line
Has_ZFP_Runtime : constant String := "False"; -- From board definition
Number_Of_Interrupts : constant := 0; -- From default value
High_Speed_External_Clock : constant := 8000000; -- From board definition
Use_Startup_Gen : constant Boolean := False; -- From command line
Max_Path_Length : constant := 1024; -- From default value
Runtime_Name_Suffix : constant String := "stm32f469disco"; -- From board definition
Architecture : constant String := "ARM"; -- From board definition
Board : constant String := "STM32F469_Discovery"; -- From command line
CPU_Core : constant String := "ARM Cortex-M4F"; -- From mcu definition
Device_Family : constant String := "STM32F4"; -- From board definition
Device_Name : constant String := "STM32F469NIHx"; -- From board definition
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Has_ZFP_Runtime : constant String := "False"; -- From board definition
High_Speed_External_Clock : constant := 8000000; -- From board definition
Max_Mount_Name_Length : constant := 128; -- From default value
Max_Mount_Points : constant := 2; -- From default value
Max_Path_Length : constant := 1024; -- From default value
Number_Of_Interrupts : constant := 0; -- From default value
Runtime_Name : constant String := "ravenscar-sfp-stm32f469disco"; -- From default value
Runtime_Name_Suffix : constant String := "stm32f469disco"; -- From board definition
Runtime_Profile : constant String := "ravenscar-sfp"; -- From command line
Use_Startup_Gen : constant Boolean := False; -- From command line
Vendor : constant String := "STMicro"; -- From board definition
end ADL_Config;

34
boards/stm32f469_discovery/stm32f469_discovery_full.gpr
View File

@ -69,24 +69,24 @@ library project STM32F469_Discovery_Full is
for Number_Of_Interrupts use "0";
end Device_Configuration;
Vendor := "STMicro"; -- From board definition
Max_Mount_Points := "2"; -- From default value
Max_Mount_Name_Length := "128"; -- From default value
Runtime_Profile := "ravenscar-full"; -- From command line
Device_Name := "STM32F469NIHx"; -- From board definition
Device_Family := "STM32F4"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Runtime_Name := "ravenscar-full-stm32f469disco"; -- From default value
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Board := "STM32F469_Discovery"; -- From command line
Has_ZFP_Runtime := "False"; -- From board definition
Number_Of_Interrupts := "0"; -- From default value
High_Speed_External_Clock := "8000000"; -- From board definition
Use_Startup_Gen := "False"; -- From command line
Max_Path_Length := "1024"; -- From default value
Runtime_Name_Suffix := "stm32f469disco"; -- From board definition
Architecture := "ARM"; -- From board definition
Board := "STM32F469_Discovery"; -- From command line
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Device_Family := "STM32F4"; -- From board definition
Device_Name := "STM32F469NIHx"; -- From board definition
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Has_ZFP_Runtime := "False"; -- From board definition
High_Speed_External_Clock := "8000000"; -- From board definition
Max_Mount_Name_Length := "128"; -- From default value
Max_Mount_Points := "2"; -- From default value
Max_Path_Length := "1024"; -- From default value
Number_Of_Interrupts := "0"; -- From default value
Runtime_Name := "ravenscar-full-stm32f469disco"; -- From default value
Runtime_Name_Suffix := "stm32f469disco"; -- From board definition
Runtime_Profile := "ravenscar-full"; -- From command line
Use_Startup_Gen := "False"; -- From command line
Vendor := "STMicro"; -- From board definition
-- Project source directories
Src_Dirs_Root := "../..";

34
boards/stm32f469_discovery/stm32f469_discovery_sfp.gpr
View File

@ -69,24 +69,24 @@ library project STM32F469_Discovery_SFP is
for Number_Of_Interrupts use "0";
end Device_Configuration;
Vendor := "STMicro"; -- From board definition
Max_Mount_Points := "2"; -- From default value
Max_Mount_Name_Length := "128"; -- From default value
Runtime_Profile := "ravenscar-sfp"; -- From command line
Device_Name := "STM32F469NIHx"; -- From board definition
Device_Family := "STM32F4"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Runtime_Name := "ravenscar-sfp-stm32f469disco"; -- From default value
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Board := "STM32F469_Discovery"; -- From command line
Has_ZFP_Runtime := "False"; -- From board definition
Number_Of_Interrupts := "0"; -- From default value
High_Speed_External_Clock := "8000000"; -- From board definition
Use_Startup_Gen := "False"; -- From command line
Max_Path_Length := "1024"; -- From default value
Runtime_Name_Suffix := "stm32f469disco"; -- From board definition
Architecture := "ARM"; -- From board definition
Board := "STM32F469_Discovery"; -- From command line
CPU_Core := "ARM Cortex-M4F"; -- From mcu definition
Device_Family := "STM32F4"; -- From board definition
Device_Name := "STM32F469NIHx"; -- From board definition
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Has_ZFP_Runtime := "False"; -- From board definition
High_Speed_External_Clock := "8000000"; -- From board definition
Max_Mount_Name_Length := "128"; -- From default value
Max_Mount_Points := "2"; -- From default value
Max_Path_Length := "1024"; -- From default value
Number_Of_Interrupts := "0"; -- From default value
Runtime_Name := "ravenscar-sfp-stm32f469disco"; -- From default value
Runtime_Name_Suffix := "stm32f469disco"; -- From board definition
Runtime_Profile := "ravenscar-sfp"; -- From command line
Use_Startup_Gen := "False"; -- From command line
Vendor := "STMicro"; -- From board definition
-- Project source directories
Src_Dirs_Root := "../..";

34
boards/stm32f746_discovery/src/full/adl_config.ads
View File

@ -1,21 +1,21 @@
-- This package was generated by the Ada_Drivers_Library project wizard script
package ADL_Config is
Vendor : constant String := "STMicro"; -- From board definition
Max_Mount_Points : constant := 2; -- From default value
Max_Mount_Name_Length : constant := 128; -- From default value
Runtime_Profile : constant String := "ravenscar-full"; -- From command line
Device_Name : constant String := "STM32F746NGHx"; -- From board definition
Device_Family : constant String := "STM32F7"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Runtime_Name : constant String := "ravenscar-full-stm32f746disco"; -- From default value
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
CPU_Core : constant String := "ARM Cortex-M7F"; -- From mcu definition
Board : constant String := "STM32F746_Discovery"; -- From command line
Has_ZFP_Runtime : constant String := "False"; -- From board definition
Number_Of_Interrupts : constant := 0; -- From default value
High_Speed_External_Clock : constant := 25000000; -- From board definition
Use_Startup_Gen : constant Boolean := False; -- From command line
Max_Path_Length : constant := 1024; -- From default value
Runtime_Name_Suffix : constant String := "stm32f746disco"; -- From board definition
Architecture : constant String := "ARM"; -- From board definition
Board : constant String := "STM32F746_Discovery"; -- From command line
CPU_Core : constant String := "ARM Cortex-M7F"; -- From mcu definition
Device_Family : constant String := "STM32F7"; -- From board definition
Device_Name : constant String := "STM32F746NGHx"; -- From board definition
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Has_ZFP_Runtime : constant String := "False"; -- From board definition
High_Speed_External_Clock : constant := 25000000; -- From board definition
Max_Mount_Name_Length : constant := 128; -- From default value
Max_Mount_Points : constant := 2; -- From default value
Max_Path_Length : constant := 1024; -- From default value
Number_Of_Interrupts : constant := 0; -- From default value
Runtime_Name : constant String := "ravenscar-full-stm32f746disco"; -- From default value
Runtime_Name_Suffix : constant String := "stm32f746disco"; -- From board definition
Runtime_Profile : constant String := "ravenscar-full"; -- From command line
Use_Startup_Gen : constant Boolean := False; -- From command line
Vendor : constant String := "STMicro"; -- From board definition
end ADL_Config;

34
boards/stm32f746_discovery/src/sfp/adl_config.ads
View File

@ -1,21 +1,21 @@
-- This package was generated by the Ada_Drivers_Library project wizard script
package ADL_Config is
Vendor : constant String := "STMicro"; -- From board definition
Max_Mount_Points : constant := 2; -- From default value
Max_Mount_Name_Length : constant := 128; -- From default value
Runtime_Profile : constant String := "ravenscar-sfp"; -- From command line
Device_Name : constant String := "STM32F746NGHx"; -- From board definition
Device_Family : constant String := "STM32F7"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Runtime_Name : constant String := "ravenscar-sfp-stm32f746disco"; -- From default value
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
CPU_Core : constant String := "ARM Cortex-M7F"; -- From mcu definition
Board : constant String := "STM32F746_Discovery"; -- From command line
Has_ZFP_Runtime : constant String := "False"; -- From board definition
Number_Of_Interrupts : constant := 0; -- From default value
High_Speed_External_Clock : constant := 25000000; -- From board definition
Use_Startup_Gen : constant Boolean := False; -- From command line
Max_Path_Length : constant := 1024; -- From default value
Runtime_Name_Suffix : constant String := "stm32f746disco"; -- From board definition
Architecture : constant String := "ARM"; -- From board definition
Board : constant String := "STM32F746_Discovery"; -- From command line
CPU_Core : constant String := "ARM Cortex-M7F"; -- From mcu definition
Device_Family : constant String := "STM32F7"; -- From board definition
Device_Name : constant String := "STM32F746NGHx"; -- From board definition
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Has_ZFP_Runtime : constant String := "False"; -- From board definition
High_Speed_External_Clock : constant := 25000000; -- From board definition
Max_Mount_Name_Length : constant := 128; -- From default value
Max_Mount_Points : constant := 2; -- From default value
Max_Path_Length : constant := 1024; -- From default value
Number_Of_Interrupts : constant := 0; -- From default value
Runtime_Name : constant String := "ravenscar-sfp-stm32f746disco"; -- From default value
Runtime_Name_Suffix : constant String := "stm32f746disco"; -- From board definition
Runtime_Profile : constant String := "ravenscar-sfp"; -- From command line
Use_Startup_Gen : constant Boolean := False; -- From command line
Vendor : constant String := "STMicro"; -- From board definition
end ADL_Config;

34
boards/stm32f746_discovery/stm32f746_discovery_full.gpr
View File

@ -69,24 +69,24 @@ library project STM32F746_Discovery_Full is
for Number_Of_Interrupts use "0";
end Device_Configuration;
Vendor := "STMicro"; -- From board definition
Max_Mount_Points := "2"; -- From default value
Max_Mount_Name_Length := "128"; -- From default value
Runtime_Profile := "ravenscar-full"; -- From command line
Device_Name := "STM32F746NGHx"; -- From board definition
Device_Family := "STM32F7"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Runtime_Name := "ravenscar-full-stm32f746disco"; -- From default value
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
CPU_Core := "ARM Cortex-M7F"; -- From mcu definition
Board := "STM32F746_Discovery"; -- From command line
Has_ZFP_Runtime := "False"; -- From board definition
Number_Of_Interrupts := "0"; -- From default value
High_Speed_External_Clock := "25000000"; -- From board definition
Use_Startup_Gen := "False"; -- From command line
Max_Path_Length := "1024"; -- From default value
Runtime_Name_Suffix := "stm32f746disco"; -- From board definition
Architecture := "ARM"; -- From board definition
Board := "STM32F746_Discovery"; -- From command line
CPU_Core := "ARM Cortex-M7F"; -- From mcu definition
Device_Family := "STM32F7"; -- From board definition
Device_Name := "STM32F746NGHx"; -- From board definition
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Has_ZFP_Runtime := "False"; -- From board definition
High_Speed_External_Clock := "25000000"; -- From board definition
Max_Mount_Name_Length := "128"; -- From default value
Max_Mount_Points := "2"; -- From default value
Max_Path_Length := "1024"; -- From default value
Number_Of_Interrupts := "0"; -- From default value
Runtime_Name := "ravenscar-full-stm32f746disco"; -- From default value
Runtime_Name_Suffix := "stm32f746disco"; -- From board definition
Runtime_Profile := "ravenscar-full"; -- From command line
Use_Startup_Gen := "False"; -- From command line
Vendor := "STMicro"; -- From board definition
-- Project source directories
Src_Dirs_Root := "../..";

34
boards/stm32f746_discovery/stm32f746_discovery_sfp.gpr
View File

@ -69,24 +69,24 @@ library project STM32F746_Discovery_SFP is
for Number_Of_Interrupts use "0";
end Device_Configuration;
Vendor := "STMicro"; -- From board definition
Max_Mount_Points := "2"; -- From default value
Max_Mount_Name_Length := "128"; -- From default value
Runtime_Profile := "ravenscar-sfp"; -- From command line
Device_Name := "STM32F746NGHx"; -- From board definition
Device_Family := "STM32F7"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Runtime_Name := "ravenscar-sfp-stm32f746disco"; -- From default value
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
CPU_Core := "ARM Cortex-M7F"; -- From mcu definition
Board := "STM32F746_Discovery"; -- From command line
Has_ZFP_Runtime := "False"; -- From board definition
Number_Of_Interrupts := "0"; -- From default value
High_Speed_External_Clock := "25000000"; -- From board definition
Use_Startup_Gen := "False"; -- From command line
Max_Path_Length := "1024"; -- From default value
Runtime_Name_Suffix := "stm32f746disco"; -- From board definition
Architecture := "ARM"; -- From board definition
Board := "STM32F746_Discovery"; -- From command line
CPU_Core := "ARM Cortex-M7F"; -- From mcu definition
Device_Family := "STM32F7"; -- From board definition
Device_Name := "STM32F746NGHx"; -- From board definition
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Has_ZFP_Runtime := "False"; -- From board definition
High_Speed_External_Clock := "25000000"; -- From board definition
Max_Mount_Name_Length := "128"; -- From default value
Max_Mount_Points := "2"; -- From default value
Max_Path_Length := "1024"; -- From default value
Number_Of_Interrupts := "0"; -- From default value
Runtime_Name := "ravenscar-sfp-stm32f746disco"; -- From default value
Runtime_Name_Suffix := "stm32f746disco"; -- From board definition
Runtime_Profile := "ravenscar-sfp"; -- From command line
Use_Startup_Gen := "False"; -- From command line
Vendor := "STMicro"; -- From board definition
-- Project source directories
Src_Dirs_Root := "../..";

34
boards/stm32f769_discovery/src/full/adl_config.ads
View File

@ -1,21 +1,21 @@
-- This package was generated by the Ada_Drivers_Library project wizard script
package ADL_Config is
Vendor : constant String := "STMicro"; -- From board definition
Max_Mount_Points : constant := 2; -- From default value
Max_Mount_Name_Length : constant := 128; -- From default value
Runtime_Profile : constant String := "ravenscar-full"; -- From command line
Device_Name : constant String := "STM32F769NIHx"; -- From board definition
Device_Family : constant String := "STM32F7"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Runtime_Name : constant String := "ravenscar-full-stm32f769disco"; -- From default value
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
CPU_Core : constant String := "ARM Cortex-M7F"; -- From mcu definition
Board : constant String := "STM32F769_Discovery"; -- From command line
Has_ZFP_Runtime : constant String := "False"; -- From board definition
Number_Of_Interrupts : constant := 0; -- From default value
High_Speed_External_Clock : constant := 25000000; -- From board definition
Use_Startup_Gen : constant Boolean := False; -- From command line
Max_Path_Length : constant := 1024; -- From default value
Runtime_Name_Suffix : constant String := "stm32f769disco"; -- From board definition
Architecture : constant String := "ARM"; -- From board definition
Board : constant String := "STM32F769_Discovery"; -- From command line
CPU_Core : constant String := "ARM Cortex-M7F"; -- From mcu definition
Device_Family : constant String := "STM32F7"; -- From board definition
Device_Name : constant String := "STM32F769NIHx"; -- From board definition
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Has_ZFP_Runtime : constant String := "False"; -- From board definition
High_Speed_External_Clock : constant := 25000000; -- From board definition
Max_Mount_Name_Length : constant := 128; -- From default value
Max_Mount_Points : constant := 2; -- From default value
Max_Path_Length : constant := 1024; -- From default value
Number_Of_Interrupts : constant := 0; -- From default value
Runtime_Name : constant String := "ravenscar-full-stm32f769disco"; -- From default value
Runtime_Name_Suffix : constant String := "stm32f769disco"; -- From board definition
Runtime_Profile : constant String := "ravenscar-full"; -- From command line
Use_Startup_Gen : constant Boolean := False; -- From command line
Vendor : constant String := "STMicro"; -- From board definition
end ADL_Config;

34
boards/stm32f769_discovery/src/sfp/adl_config.ads
View File

@ -1,21 +1,21 @@
-- This package was generated by the Ada_Drivers_Library project wizard script
package ADL_Config is
Vendor : constant String := "STMicro"; -- From board definition
Max_Mount_Points : constant := 2; -- From default value
Max_Mount_Name_Length : constant := 128; -- From default value
Runtime_Profile : constant String := "ravenscar-sfp"; -- From command line
Device_Name : constant String := "STM32F769NIHx"; -- From board definition
Device_Family : constant String := "STM32F7"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Runtime_Name : constant String := "ravenscar-sfp-stm32f769disco"; -- From default value
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
CPU_Core : constant String := "ARM Cortex-M7F"; -- From mcu definition
Board : constant String := "STM32F769_Discovery"; -- From command line
Has_ZFP_Runtime : constant String := "False"; -- From board definition
Number_Of_Interrupts : constant := 0; -- From default value
High_Speed_External_Clock : constant := 25000000; -- From board definition
Use_Startup_Gen : constant Boolean := False; -- From command line
Max_Path_Length : constant := 1024; -- From default value
Runtime_Name_Suffix : constant String := "stm32f769disco"; -- From board definition
Architecture : constant String := "ARM"; -- From board definition
Board : constant String := "STM32F769_Discovery"; -- From command line
CPU_Core : constant String := "ARM Cortex-M7F"; -- From mcu definition
Device_Family : constant String := "STM32F7"; -- From board definition
Device_Name : constant String := "STM32F769NIHx"; -- From board definition
Has_Ravenscar_Full_Runtime : constant String := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime : constant String := "True"; -- From board definition
Has_ZFP_Runtime : constant String := "False"; -- From board definition
High_Speed_External_Clock : constant := 25000000; -- From board definition
Max_Mount_Name_Length : constant := 128; -- From default value
Max_Mount_Points : constant := 2; -- From default value
Max_Path_Length : constant := 1024; -- From default value
Number_Of_Interrupts : constant := 0; -- From default value
Runtime_Name : constant String := "ravenscar-sfp-stm32f769disco"; -- From default value
Runtime_Name_Suffix : constant String := "stm32f769disco"; -- From board definition
Runtime_Profile : constant String := "ravenscar-sfp"; -- From command line
Use_Startup_Gen : constant Boolean := False; -- From command line
Vendor : constant String := "STMicro"; -- From board definition
end ADL_Config;

34
boards/stm32f769_discovery/stm32f769_discovery_full.gpr
View File

@ -69,24 +69,24 @@ library project STM32F769_Discovery_Full is
for Number_Of_Interrupts use "0";
end Device_Configuration;
Vendor := "STMicro"; -- From board definition
Max_Mount_Points := "2"; -- From default value
Max_Mount_Name_Length := "128"; -- From default value
Runtime_Profile := "ravenscar-full"; -- From command line
Device_Name := "STM32F769NIHx"; -- From board definition
Device_Family := "STM32F7"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Runtime_Name := "ravenscar-full-stm32f769disco"; -- From default value
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
CPU_Core := "ARM Cortex-M7F"; -- From mcu definition
Board := "STM32F769_Discovery"; -- From command line
Has_ZFP_Runtime := "False"; -- From board definition
Number_Of_Interrupts := "0"; -- From default value
High_Speed_External_Clock := "25000000"; -- From board definition
Use_Startup_Gen := "False"; -- From command line
Max_Path_Length := "1024"; -- From default value
Runtime_Name_Suffix := "stm32f769disco"; -- From board definition
Architecture := "ARM"; -- From board definition
Board := "STM32F769_Discovery"; -- From command line
CPU_Core := "ARM Cortex-M7F"; -- From mcu definition
Device_Family := "STM32F7"; -- From board definition
Device_Name := "STM32F769NIHx"; -- From board definition
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Has_ZFP_Runtime := "False"; -- From board definition
High_Speed_External_Clock := "25000000"; -- From board definition
Max_Mount_Name_Length := "128"; -- From default value
Max_Mount_Points := "2"; -- From default value
Max_Path_Length := "1024"; -- From default value
Number_Of_Interrupts := "0"; -- From default value
Runtime_Name := "ravenscar-full-stm32f769disco"; -- From default value
Runtime_Name_Suffix := "stm32f769disco"; -- From board definition
Runtime_Profile := "ravenscar-full"; -- From command line
Use_Startup_Gen := "False"; -- From command line
Vendor := "STMicro"; -- From board definition
-- Project source directories
Src_Dirs_Root := "../..";

34
boards/stm32f769_discovery/stm32f769_discovery_sfp.gpr
View File

@ -69,24 +69,24 @@ library project STM32F769_Discovery_SFP is
for Number_Of_Interrupts use "0";
end Device_Configuration;
Vendor := "STMicro"; -- From board definition
Max_Mount_Points := "2"; -- From default value
Max_Mount_Name_Length := "128"; -- From default value
Runtime_Profile := "ravenscar-sfp"; -- From command line
Device_Name := "STM32F769NIHx"; -- From board definition
Device_Family := "STM32F7"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Runtime_Name := "ravenscar-sfp-stm32f769disco"; -- From default value
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
CPU_Core := "ARM Cortex-M7F"; -- From mcu definition
Board := "STM32F769_Discovery"; -- From command line
Has_ZFP_Runtime := "False"; -- From board definition
Number_Of_Interrupts := "0"; -- From default value
High_Speed_External_Clock := "25000000"; -- From board definition
Use_Startup_Gen := "False"; -- From command line
Max_Path_Length := "1024"; -- From default value
Runtime_Name_Suffix := "stm32f769disco"; -- From board definition
Architecture := "ARM"; -- From board definition
Board := "STM32F769_Discovery"; -- From command line
CPU_Core := "ARM Cortex-M7F"; -- From mcu definition
Device_Family := "STM32F7"; -- From board definition
Device_Name := "STM32F769NIHx"; -- From board definition
Has_Ravenscar_Full_Runtime := "True"; -- From board definition
Has_Ravenscar_SFP_Runtime := "True"; -- From board definition
Has_ZFP_Runtime := "False"; -- From board definition
High_Speed_External_Clock := "25000000"; -- From board definition
Max_Mount_Name_Length := "128"; -- From default value
Max_Mount_Points := "2"; -- From default value
Max_Path_Length := "1024"; -- From default value
Number_Of_Interrupts := "0"; -- From default value
Runtime_Name := "ravenscar-sfp-stm32f769disco"; -- From default value
Runtime_Name_Suffix := "stm32f769disco"; -- From board definition
Runtime_Profile := "ravenscar-sfp"; -- From command line
Use_Startup_Gen := "False"; -- From command line
Vendor := "STMicro"; -- From board definition
-- Project source directories
Src_Dirs_Root := "../..";

4
middleware/src/bitmap/soft_drawing_bitmap.adb
View File

@ -471,7 +471,9 @@ package body Soft_Drawing_Bitmap is
begin
if Radius = 0 then
Dispatch (Buffer).Fill_Rect (Area'Update (Position => (X0, Y0)));
Dispatch (Buffer).Fill_Rect ((Position => (X0, Y0),
Width => Area.Width,
Height => Area.Height));
return;
end if;

9
scripts/config/__init__.py
View File

@ -39,7 +39,7 @@ class Database:
def ada_configuration(self):
out = ""
for key in self.configuration:
for key in sorted(self.configuration):
origin = self.configuration[key]['origin']
value = self.configuration[key]['value']
kind = self.configuration[key]['kind']
@ -96,10 +96,15 @@ class Database:
out += ' for Size ("%(name)s") use "%(size)s";\n' % (mem)
out += '\n for Boot_Memory use "%s";\n' % self.get_config("Boot_Memory")
for key in ['hifive1_uart_root', 'qemu_sifive_test_exit']:
if key in self.configuration:
out += ' for User_Tag ("%s") use "%s";\n' % (key, self.configuration[key]['value'])
out += ' end Device_Configuration;\n\n'
# Config keys and values
for key in self.configuration:
for key in sorted(self.configuration):
origin = self.configuration[key]['origin']
value = self.configuration[key]['value']
out += " %-30s := %-20s -- From %s\n" % \

8
scripts/config/boards.py
View File

@ -191,7 +191,9 @@ def load_board_config(config):
config.pre_define('Has_ZFP_Runtime', 'True', origin)
config.pre_define('Has_Ravenscar_SFP_Runtime', 'False', origin)
config.pre_define('Has_Ravenscar_Full_Runtime', 'False', origin)
config.pre_define('Runtime_Name_Suffix', 'rv32imc', origin)
config.pre_define('Runtime_Name_Suffix', 'rv32imac', origin)
config.pre_define('hifive1_uart_root', '268513280', origin) # 0x10013000
config.pre_define('qemu_sifive_test_exit', "True", origin)
config.add_memory('rom', 'board_flash', '0x20400000', '512M')
config.add_source_dir('boards/HiFive1/src/', origin)
@ -203,7 +205,9 @@ def load_board_config(config):
config.pre_define('Has_ZFP_Runtime', 'True', origin)
config.pre_define('Has_Ravenscar_SFP_Runtime', 'False', origin)
config.pre_define('Has_Ravenscar_Full_Runtime', 'False', origin)
config.pre_define('Runtime_Name_Suffix', 'rv32imc', origin)
config.pre_define('Runtime_Name_Suffix', 'rv32imac', origin)
config.pre_define('hifive1_uart_root', '268513280', origin) # 0x10013000
config.pre_define('qemu_sifive_test_exit', "True", origin)
config.add_memory('rom', 'board_flash', '0x20010000', '32M')
config.add_source_dir('boards/HiFive1/src/', origin)

2
scripts/install_dependencies.py
View File

@ -68,7 +68,7 @@ def git_clone(repo_url, branch, dst, recursive=False):
# - Recursive clone?
# - install command (if any)
git_repos = [("https://github.com/AdaCore/bb-runtimes",
False,
"community-2021",
"bb-runtimes",
False,
[sys.executable, ROOT_DIR + "/bb-runtimes/install.py",

5
scripts/project_wizard.py
View File

@ -62,8 +62,9 @@ def mcu_config(config, source_dir):
if family.startswith("STM32"):
config.query_integer_key("High_Speed_External_Clock",
1000000, 32000000)
elif family.startswith("FE310"):
config.query_integer_key("FLASH_SIZE")
elif family.startswith("FE3"):
config.query_integer_key("hifive1_uart_root")
config.query_bool_key("qemu_sifive_test_exit")
load_cpu_config(config)
load_device_config(config, source_dir)