avz fixes

so3/Kbuild

@@ -6,8 +6,8 @@
 
 syscall-files = include/generated/syscall_table.h.in
 syscall-files += include/generated/syscall_number.h
-syscall-script = scripts/syscall_gen.sh
-syscall-src = syscall.tbl arch/$(SRCARCH)/syscall.h.in
+syscall-script = $(srctree)/scripts/syscall_gen.sh
+syscall-src = $(srctree)/syscall.tbl $(srctree)/arch/$(SRCARCH)/syscall.h.in
 
 quiet_cmd_syscall_gen = GEN     $@
       cmd_syscall_gen = $(syscall-script) $(syscall-src) $(syscall-files)

so3/arch/arm64/exception.S

@@ -564,13 +564,15 @@ el01_sync_handler:
 	mov	x0, sp
    	bl 	trap_handle
 
+#ifdef CONFIG_IPC_SIGNAL
 	// Check if sigreturn has been called. In this case, we
 	// clean the stack frame which has been used to manage the user handler.
 	cmp	x8, #SYSCALL_rt_sigreturn
 	bne	ret_from_fork
 
 	// Reset the stack frame by removing the one issued from sigreturn
 	add	sp, sp, #S_FRAME_SIZE
+#endif
 
 	// Entry point for new user threads
 ret_from_fork:

so3/avz/kernel/injector.c

@@ -87,6 +87,10 @@ void inject_capsule(avz_hyp_t *args)
 	/* At the beginning, the capsule is stopped */
 	domME->avz_shared->dom_desc.u.ME.state = ME_state_stopped;
 
+	/* Store slotID & capsuleID */
+	domME->avz_shared->dom_desc.u.ME.slotID = slotID;
+	domME->avz_shared->dom_desc.u.ME.capsuleID = args->u.avz_inject_capsule_args.capsuleID;
+
 	/* Set the size of this ME in its own descriptor with the dom_context size */
 	domME->avz_shared->dom_desc.u.ME.size = memslot[slotID].size;
 

so3/avz/kernel/setup.c

@@ -78,7 +78,7 @@ void avz_start(void)
 	lprintk("Copyright (c) 2014-2025 REDS Institute, HEIG-VD, Yverdon-les-Bains\n");
 	lprintk("Version %s\n", SO3_KERNEL_VERSION);
 
-	LOG_INFO("\n\nNow bootstraping the hypervisor kernel ...");
+	LOG_INFO("\n\nNow bootstraping the hypervisor kernel ...\n");
 
 	/* Memory manager subsystem initialization */
 	memory_init();

so3/include/log.h

@@ -20,7 +20,7 @@
 
 #include <printk.h>
 
-#ifdef CONFIG_SOO
+#ifdef CONFIG_VLOGS_FRONTEND
 #include <soo/soo.h>
 #include <soo/dev/vlogs.h>
 #endif

so3/kernel/main.c

@@ -78,7 +78,7 @@ void *rest_init(void *dummy)
 
 	kernel_thread(app_thread_main, "main_kernel", NULL, 0);
 
-	thread_exit(NULL);
+	thread_exit(0);
 
 #elif defined(CONFIG_PROC_ENV)
 

so3/soo/drivers/vlogsfront/vlogs.c

@@ -246,7 +246,7 @@ static int vlogs_cwrite(int fd, const void *buffer, int count)
 {
 	static char msg[1024];
 
-	sprintf(msg, "[ME:%d] %s", get_ME_desc()->slotID, buffer);
+	sprintf(msg, "[ME:%d] %s", get_ME_desc()->capsuleID, buffer);
 
 	vlogs_write((char *) msg);
 

so3/soo/include/soo/uapi/soo.h

@@ -175,6 +175,7 @@ extern atomic_t dc_incoming_domID[DC_EVENT_MAX];
  */
 typedef struct {
 	unsigned int slotID;
+	unsigned int capsuleID;
 	uint64_t spid;
 
 	ME_state_t state;
@@ -266,6 +267,7 @@ extern volatile avz_shared_t *avz_shared;
 typedef struct agency_ioctl_args {
 	void *buffer; /* IN/OUT */
 	int slotID;
+	int capsuleID;
 	long value; /* IN/OUT */
 } agency_ioctl_args_t;
 
@@ -304,6 +306,7 @@ typedef struct agency_ioctl_args {
 typedef struct {
 	void *itb_paddr;
 	int slotID;
+	int capsuleID;
 } avz_inject_capsule_t;
 
 /* AVZ_START_CAPSULE */