Re: [seL4] camkes-vm-linux tutorial issue

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) wrote:

${CMAKE_CURRENT_LIST_DIR}/poke poke-module poke-target KERNEL_DIR