If we decouple from the seL4 tutorial framework and build a standalone project to verify aspects of IPC (specifically regarding the slowpath and fastpath), using the original configurations, write the source files (C files) and CMakeLists.txt file, and th