Hi Fabrizio,
On Sun, Oct 31, 2021 at 11:00 AM Fabrizio Bertocci
<fabrizioberto...@gmail.com> wrote:
>
> 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"
>
Application apps/testdataportrpc in "Camkes" project
https://github.com/seL4/camkes gives the inspiration.
I hope it helps,
Nataliya
> Thanks,
> Fabrizio
> _______________________________________________
> Devel mailing list -- devel@sel4.systems
> To unsubscribe send an email to devel-leave@sel4.systems
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
