diff --git a/drivers/Kconfig b/drivers/Kconfig
index e0eda1a5c3f9..1654ecaf6a82 100644
--- a/drivers/Kconfig
+++ b/drivers/Kconfig
@@ -230,4 +230,6 @@ source "drivers/interconnect/Kconfig"
 
 source "drivers/counter/Kconfig"
 
+source "drivers/corellium/Kconfig"
+
 endmenu
diff --git a/drivers/Makefile b/drivers/Makefile
index aaef17cc6512..2967fdbb15ed 100644
--- a/drivers/Makefile
+++ b/drivers/Makefile
@@ -186,3 +186,5 @@ obj-$(CONFIG_SIOX)	+= siox/
 obj-$(CONFIG_GNSS)		+= gnss/
 obj-$(CONFIG_INTERCONNECT)	+= interconnect/
 obj-$(CONFIG_COUNTER)		+= counter/
+
+obj-y				+= corellium/
diff --git a/drivers/platform/goldfish/goldfish_pipe.c b/drivers/platform/goldfish/goldfish_pipe.c
index cef0133aa47a..dc856a382f90 100644
--- a/drivers/platform/goldfish/goldfish_pipe.c
+++ b/drivers/platform/goldfish/goldfish_pipe.c
@@ -87,7 +87,7 @@ struct goldfish_pipe_command {
	s32 cmd;	/* PipeCmdCode, guest -> host */
	s32 id;		/* pipe id, guest -> host */
	s32 status;	/* command execution status, host -> guest */
-	s32 reserved;	/* to pad to 64-bit boundary */
+	s32 container_id;
	union {
		/* Parameters for PIPE_CMD_{READ,WRITE} */
		struct {
@@ -745,6 +745,7 @@ static int goldfish_pipe_open(struct inode *inode, struct file *file)
 
	dev->pipes[id] = pipe;
	pipe->id = id;
+	pipe->command_buffer->container_id = 0;
	pipe->command_buffer->id = id;
 
	/* Now tell the emulator we're opening a new pipe. */