ptrk8 / tor

Taste of Research

Taste of Research (TOR)

Run the following command to copy remote build artifacts for the seL4 Core Platform Build to the local machine to enable IDE autocompletion:
```
$ make setup-for-ide
```

Taste of Research

Language:C 96.2%Language:CMake 2.6%Language:Makefile 1.0%Language:HTML 0.1%Language:Perl 0.1%Language:Shell 0.0%Language:Batchfile 0.0%