TImada

> That ain't happening: one unikernel will take full control of the device. The others will have to use different NICs. I don't see an easy solution for this in...

@yomimono sorry, I'm still awaiting the permission. It was supposed to be done by this week. I hope I can publish it soon. :)

For `solo5-hvt`, modification of `aarch64_setup_memory_mapping` [1] and `TCR_TG_FLAGS` [2] will be needed at least. The current implementation creates a page table having mixed 1GB/2MB/4KB blocks. However, a page table having...

Hi Matt, > After the bootelf there is no response indicating the start. I just get the u-boot prompt. Outputs of this FreeRTOS application do not appear on the u-boot...

Matt, Thanks for having further investigation. I cannot reproduce your problem on my raspi4 board when using the latest sample code. I will look into this problem next week. (Sorry,...

Hi Matt, When did you see the following output? Did you see it twice both after `bootelf 0x28000000` and after `go 0x20001788` ? If you did not see it after...

I had some tests on my raspi4 board and found that the latest u-boot does not work as expected. ``` (in u-boot v2020.07) U-Boot 2020.07 (Sep 29 2020 - 01:11:52...

I found that implementation change in parsing the `autostart` variable in u-boot affected `bootelf` behavior. If we do not define `autostart=yes`, the `bootelf` command loads a target ELF file. But...

I cannot see any problem on your u-boot log because it has the execution result below: ``` ## Starting application at 0x20001788 ... ## Application terminated, rc = 0x0 ```...

I could not reproduce your problem on my raspi4. I have tried u-boot with the same version applied in your environment. This UART sample successfully worked. You can check my...