On Sun, Oct 31, 2021 at 11:00 AM Fabrizio Bertocci
Is it possible to use dataports that are larger than 4k?
I tried with both typed dataports and "Buf" dataport but I can't find a
to do it.
In the hello-camkes-2 tutorial, I tried to add a configuration for my
dataports in the main assembly file to increase its size like this:
// Typed dataport name: 'd_image'
// Buf dataport name: 'd'
echo.d_size=65536; // Buf dataport
echo.d_image_size=65536; // Typed dataport
unfortunately that doesn't seem to do anything as d_get_size() keep
returning 4k, and for the typed dataport, the build system triggers the
static assert "typeof(from_0_d_image_data) size greater than dataport size"
Application apps/testdataportrpc in "Camkes" project
gives the inspiration.
I hope it helps,
Devel mailing list -- devel(a)sel4.systems
To unsubscribe send an email to devel-leave(a)sel4.systems