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 way
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'
configuration {
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"
Thanks,
Fabrizio
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
