Added means to add correct irq values to capabilities

src/api/ipc.c

@@ -348,7 +348,7 @@ int ipc_sendrecv(l4id_t to, l4id_t from, unsigned int flags)
 		if ((ret = ipc_send(to, flags)) < 0)
 			return ret;
 		/*
-		 * Get origy. A client would block its server
+		 * Get reply. A client would block its server
 		 * only very briefly between these calls.
 		 */
 		if ((ret = ipc_recv(from, flags)) < 0)
@@ -537,7 +537,6 @@ int sys_ipc(l4id_t to, l4id_t from, unsigned int flags)
 {
 	unsigned int ipc_dir = 0;
 	int ret = 0;
-	struct ktcb *t = current; if (!t);
 
 	/* Check arguments */
 	if (tid_special_value(from) &&

src/generic/resource.c

@@ -509,6 +509,7 @@ int copy_pager_info(struct pager *pager, struct pager_info *pinfo)
 		cap->end = cap_info->end;
 		cap->size = cap_info->size;
 		cap->attr = cap_info->attr;
+		cap->irq = cap_info->irq;
 
 		cap_list_insert(cap, &pager->cap_list);
 	}
@@ -576,6 +577,9 @@ void copy_boot_capabilities(struct cap_list *caplist)
 		realcap->access = bootcap->access;
 		realcap->start = bootcap->start;
 		realcap->end = bootcap->end;
+		realcap->size = bootcap->size;
+		realcap->attr = bootcap->attr;
+		realcap->irq = bootcap->irq;
 
 		/* Unlink boot one */
 		list_remove(&bootcap->list);

src/platform/pb926/irq.c

@@ -56,8 +56,8 @@ static int platform_timer_handler(struct irq_desc *desc)
  * Else register with register_irq()
  */
 struct irq_desc irq_desc_array[IRQS_MAX] = {
-	[IRQ_TIMER01] = {
-		.name = "Timer01",
+	[IRQ_TIMER0] = {
+		.name = "Timer0",
 		.chip = &irq_chip_array[0],
 		.handler = platform_timer_handler,
 	},

src/platform/pb926/timer.c

@@ -25,8 +25,8 @@ void timer_init(void)
 /* Microkernel is using TIMER0, so we will initialize only this one */
 void timer_start(void)
 {
-	/* Enable irq line for TIMER0*/
-	irq_enable(IRQ_TIMER01);
+	/* Enable irq line for TIMER0 */
+	irq_enable(IRQ_TIMER0);
 
 	/* Enable timer */
 	sp804_enable(PLATFORM_TIMER0_VIRTUAL, 1);