José Martins

The communication channel works the same in both directions. In the provided demos, Linux can read the /dev/baoipc0 device to get FreeRTOS messages from the shared memory. However, we haven't...

Well spotted! May I ask in what context did you find the error in this macro? I would also ask you to fix the same issue with `VTCR_T0SZ_MSK`.

I believe it would be hard to debug on TX2 without any kind of external debugger. This was exactly my experience. I'd suggest changing the configuration to remove the freertos...

When I was working with the TX2 I was not aware of a second UART available in the pin header. But if its there, after figuring out its MMIO region...

It seems there is some issue with the tx2 bpmp driver. Are you using the same linux guest configuration as provided in the demos?

Any developments on this? If not, I will try to find some time to reproduce your issue.

Were you able to solve this? If so, what was wrong and how? If not, are you still trying to solve this? In this case I'll try to reproduce in...

> So, I want to know if I need to do some modify on zephyr code? I would say no. I'm not that familiar with Zephyr, but I believe it...

It really depends on the platform you are targeting. If you are running bao on qemu, we can simply run it with the `-s -S` options and attach using the...

Thanks for this @malejo97 ! To fix the failing checks, can you please apply the formatter (just run `make format`), and shorten the commit messages?