Hi @Ionel,
first of all big thanks for this detailed description. I will look tomorrow into it. Just a short comment to your last sentence regarding PetaLinux.
I considered using petaLinux, but the only tutorial and description I found are always to have a running linux system in the end, which is not my goal.
In the very very end I want to have a u-boot system, which should run few instruction at boot time/after booting up:
1. load the bitstream "fpga.bit" via tftp server
2. run the the fpga.bit
3. load the kernel.img (self programmed) via tftp server
4. run kernel.img
not more no less. This was actually some kind of workflow in University during the operating system course.
If you have anything to add to this comment, I would be very glad. Otherwise thanks a lot: I was not even sure, if anyone would answer my question in the first place.
Best Regards
Ahmed