Re: [seL4] adding code to the main.c for ARM VMM

On Tue 18-Oct-2016 8:36 AM, PX wrote: Hi, I have posted this question before and my problem is not totally solved because I am not familiar with Makefile. I try to make my question more specific as follows. I want to add new code, which is already organized under a directory, say, test. I want

[seL4] adding code to the main.c for ARM VMM

Hi, I have posted this question before and my problem is not totally solved because I am not familiar with Makefile. I try to make my question more specific as follows. I want to add new code, which is already organized under a directory, say, test. I want to add the directory test to main.c file