Taste of Research (TOR) Setup 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