Damon
Thanks for suggestions.
With the correct DefineLinuxModule directive for poke module, I am able to
complete ninja command.
Nanfang
Sent from my iPhone
> On Jun 9, 2020, at 7:54 PM, Lee, Damon (Data61, Kensington NSW)
> <damon....@data61.csiro.au> wrote:
>
> ${CMAKE_CURRENT_LIST_DIR}/poke poke-module poke-target KERNEL_DIR
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel
