Re: SweetAda 0.1 released

[gabriele.galeotti.xyz@gmail.com]

On Thursday, July 2, 2020 at 6:47:48 AM UTC+2, Roger wrote:
> On Thursday, July 2, 2020 at 1:37:14 AM UTC+10, gabriele....@gmail.com wrote:
> >
> > 
> > Inside the sweetada source package, edit the menu.sh file.
> > There are some platform choices. Comment out all the choices and write:
> > PLATFORM=PC-x86-64 ; SUBPLATFORM=QEMU-ROM
> > 
> > Run menu.sh with "./menu.sh". It should end up compiling without errors.
> > 
> Result:
> Configuration parameters:
> PLATFORM:         PC-x86-64
> SUBPLATFORM:      QEMU-ROM
> CPU:              x86-64
> CPU MODEL:        ???
> SWEETADA_PATH:    /System/Volumes/Data/Ada_Source/sweetada-0.1
> TOOLCHAIN PREFIX: /opt/sweetada
> TOOLCHAIN NAME:   x86_64-sweetada-elf
> GCC VERSION:      9.3.0
> GCC SWITCHES:      -m64 -Wa,--64
> GCC MULTIDIR:     .
> RTS ROOT PATH:    /System/Volumes/Data/Ada_Source/sweetada-0.1/rts/x86_64-sweetada-elf
> RTS PATH:         /System/Volumes/Data/Ada_Source/sweetada-0.1/rts/x86_64-sweetada-elf/.
> LD SWITCHES:       
> OBJCOPY SWITCHES:  --output-target=binary --gap-fill=0x00
> OBJDUMP SWITCHES:  
> RTS:              ZFP
> PROFILE:          ZFP
> BUILD MODE:       MAKEFILE
> 
> PC-x86-64: start kernel build.
> 
> [GNATMAKE]   abort_library.adb
> ...
> 
> then build continued until:
> [GNATMAKE-M] kernel.d
> [ADAC]       b__main.adb
> [LD]         kernel.o
> [OBJDUMP]    kernel.lst
> [OBJDUMP-S]  kernel.src.lst
> [READELF]    kernel.elf.lst
> 
> PC-x86-64: ELF sections dump.
> 
> make: elftool: No such file or directory
> make: *** [kernel_info] Error 1
> 
> PC-x86-64: start kernel build.
> 
> [GNATMAKE]   main.adb
> [GNATBIND]   b__main.adb
> [GNATMAKE-M] kernel.d
> [ADAC]       b__main.adb
> [LD]         kernel.o
> [OBJDUMP]    kernel.lst
> [OBJDUMP-S]  kernel.src.lst
> [READELF]    kernel.elf.lst
> 
> PC-x86-64: ELF sections dump.
> 
> make: elftool: No such file or directory
> make: *** [kernel_info] Error 1

Hi Roger, very fine. I'm happy, thanks for your testing.

The compilation is successful.

elftool is, at this level, more or less a visual tool to dump ELF sections well-formatted and free from annoying text, suitable for a parsing tool. You can find the same informations in the various *.lst being generated in the top level directory (like "kernel.elf.lst")

Your problem is very strange. I verified that elftool is stored in the toolchain package, please check if it exists along other executables. Try to dry-run it in the command line for library problems, even if I am pretty sure it does not require other than the system libc.

Anyway, as a temporary hack, you can comment out elftool execution in the main Makefile. Just put a comment "#" in front of its call, around lines 682/786/798/801, beware of the tabs:
old: <--tab-->@$(ELFTOOL) ...
new: <--tab-->#@$(ELFTOOL) ...

I will try to make available an initial version of QEMU, but please give me a little bit of time. Really you can use a normal QEMU built with x86_64 target, but you lack the IOEMU visual part. From your result, by executing a "make postbuild", you can create a "ROM BIOS" image suitable for the emulator, file "kernel.rom".

Please note that the x86_64 is a large work in progress, not at the same level of the 32-bit counterpart. I am working on it. But you have theoretically an Ada mockup system suitable for experimentation that runs in full 64-bit mode. It should run even on real hardware, with proper support.

Let me know of your progress.