ipc-queue (cargo): An implementation of FIFO queue described in fortanix-sgx-abi used for asynchronous usercalls. 
Keywords: queue|fifo|ipc|sgx