Patch
Вульф Рамовски <[email protected]> Thu, 8 Jul 2010 20:09:14 +0500
| Newsgroups | gmane.comp.micro-kernel.l4.l4ka.general |
|---|---|
| Message-ID | <[email protected]> |
This patch allows to use sigma0.h with pure C.
allow_c.patch
(application/octet-stream, 1.3 KB)
diff -r -u l4ka-pistachio-e92b4ff4b901/user/include/l4/sigma0.h l4ka-pistachio-patched/user/include/l4/sigma0.h
--- l4ka-pistachio-e92b4ff4b901/user/include/l4/sigma0.h 2010-07-06 17:43:10.000000000 +0000
+++ l4ka-pistachio-patched/user/include/l4/sigma0.h 2010-07-08 14:56:29.000000000 +0000
@@ -117,7 +117,7 @@
address = (void *) start;
}
- if ( L4_Myself() == sigma0 )
+ if ( L4_IsThreadEqual(L4_Myself(), sigma0) )
return 0;
@@ -128,7 +128,7 @@
L4_Fpage_t rcvfpage = L4_Fpage( rcvstart, pagesize );
fpage.X.rwx = L4_ReadWriteOnly;
- fpage = L4_Sigma0_GetPage( sigma0, fpage, rcvfpage );
+ fpage = L4_Sigma0_GetPage_RcvWindow( sigma0, fpage, rcvfpage );
if( L4_IsNilFpage(fpage) )
return address;
diff -r -u l4ka-pistachio-e92b4ff4b901/user/Mk/l4.build.mk l4ka-pistachio-patched/user/Mk/l4.build.mk
--- l4ka-pistachio-e92b4ff4b901/user/Mk/l4.build.mk 2010-07-06 17:43:10.000000000 +0000
+++ l4ka-pistachio-patched/user/Mk/l4.build.mk 2010-07-08 14:51:57.000000000 +0000
@@ -59,7 +59,7 @@
.c.o: $(MKFILE_DEPS)
@$(ECHO_MSG) `echo $< | sed s,^$(top_srcdir)/,,`
- $(CC) $(CPPFLAGS) $(CFLAGS) -c $< -o $@
+ $(CC) $(CPPFLAGS) $(CFLAGS) -std=c99 -c $< -o $@
.S.o: $(MKFILE_DEPS)
@$(ECHO_MSG) `echo $< | sed s,^$(top_srcdir)/,,`