Reconstituted header

user.enryo/apps/syslaunch/.depend

@@ -0,0 +1,20 @@
+crt0-amd64.o: crt0-amd64.S
+syslaunch.o: syslaunch.cc syslaunch.h ../../include/liballoc.h \
+ ../../include/stdio.h ../../include/l4io.h ../../include/l4/types.h \
+ ../../include/l4/amd64/types.h ../../include/l4/amd64/specials.h \
+ /usr/lib/gcc/x86_64-linux-gnu/8/include/stdarg.h \
+ ../../include/openbsd/libkern.h ../../include/stddef.h \
+ ../../include/mutex/mutex.h ../../include/l4/thread.h \
+ ../../include/l4/amd64/syscalls.h ../../include/l4/amd64/vregs.h \
+ ../../include/l4/message.h ../../include/l4/amd64/kdebug.h \
+ ../../include/sys/types.h ../../include/sys/_types.h \
+ ../../include/lib9.h ../../include/string.h ../../include/memory.h \
+ ../../include/utf.h ../../include/utfdef.h ../../include/stdint.h \
+ ../../include/sys/cdefs.h ../../include/stdlib.h ../../include/unistd.h \
+ ../../include/gdtoa.h ../../include/arith.h ../../include/l4/sigma0.h \
+ ../../include/l4/kip.h ../../include/l4/ipc.h ../../include/l4/kdebug.h \
+ ../../include/l4e/misc.h ../../include/sys/utsname.h \
+ ../../include/binary_tree/binary_tree.h \
+ /usr/lib/gcc/x86_64-linux-gnu/8/include/stdbool.h \
+ ../../include/drivermgr.h ../../include/ramfs.h \
+ ../../include/sys/sysinfo.h

user.enryo/config.log

@@ -270,3 +270,307 @@ target_alias=''
 #define CONFIG_COMSPEED 115200
 
 configure: exit 0
+
+## ---------------------- ##
+## Running config.status. ##
+## ---------------------- ##
+
+This file was extended by Pistachio config.status 0.4, which was
+generated by GNU Autoconf 2.69.  Invocation command line was
+
+  CONFIG_FILES    = ./Makefile
+  CONFIG_HEADERS  = 
+  CONFIG_LINKS    = 
+  CONFIG_COMMANDS = 
+  $ ./config.status 
+
+on tyson-Lenovo-ideapad-120S-14IAP
+
+config.status:816: creating ./Makefile
+config.status:816: creating config.h
+config.status:991: config.h is unchanged
+
+## ---------------------- ##
+## Running config.status. ##
+## ---------------------- ##
+
+This file was extended by Pistachio config.status 0.4, which was
+generated by GNU Autoconf 2.69.  Invocation command line was
+
+  CONFIG_FILES    = ./Makefile
+  CONFIG_HEADERS  = 
+  CONFIG_LINKS    = 
+  CONFIG_COMMANDS = 
+  $ ./config.status 
+
+on tyson-Lenovo-ideapad-120S-14IAP
+
+config.status:816: creating ./Makefile
+config.status:816: creating config.h
+config.status:991: config.h is unchanged
+
+## ---------------------- ##
+## Running config.status. ##
+## ---------------------- ##
+
+This file was extended by Pistachio config.status 0.4, which was
+generated by GNU Autoconf 2.69.  Invocation command line was
+
+  CONFIG_FILES    = ./Makefile
+  CONFIG_HEADERS  = 
+  CONFIG_LINKS    = 
+  CONFIG_COMMANDS = 
+  $ ./config.status 
+
+on tyson-Lenovo-ideapad-120S-14IAP
+
+config.status:816: creating ./Makefile
+config.status:816: creating config.h
+config.status:991: config.h is unchanged
+
+## ---------------------- ##
+## Running config.status. ##
+## ---------------------- ##
+
+This file was extended by Pistachio config.status 0.4, which was
+generated by GNU Autoconf 2.69.  Invocation command line was
+
+  CONFIG_FILES    = ./Makefile
+  CONFIG_HEADERS  = 
+  CONFIG_LINKS    = 
+  CONFIG_COMMANDS = 
+  $ ./config.status 
+
+on tyson-Lenovo-ideapad-120S-14IAP
+
+config.status:816: creating ./Makefile
+config.status:816: creating config.h
+config.status:991: config.h is unchanged
+
+## ---------------------- ##
+## Running config.status. ##
+## ---------------------- ##
+
+This file was extended by Pistachio config.status 0.4, which was
+generated by GNU Autoconf 2.69.  Invocation command line was
+
+  CONFIG_FILES    = ./Makefile
+  CONFIG_HEADERS  = 
+  CONFIG_LINKS    = 
+  CONFIG_COMMANDS = 
+  $ ./config.status 
+
+on tyson-Lenovo-ideapad-120S-14IAP
+
+config.status:816: creating ./Makefile
+config.status:816: creating config.h
+config.status:991: config.h is unchanged
+
+## ---------------------- ##
+## Running config.status. ##
+## ---------------------- ##
+
+This file was extended by Pistachio config.status 0.4, which was
+generated by GNU Autoconf 2.69.  Invocation command line was
+
+  CONFIG_FILES    = ./Makefile
+  CONFIG_HEADERS  = 
+  CONFIG_LINKS    = 
+  CONFIG_COMMANDS = 
+  $ ./config.status 
+
+on tyson-Lenovo-ideapad-120S-14IAP
+
+config.status:816: creating ./Makefile
+config.status:816: creating config.h
+config.status:991: config.h is unchanged
+
+## ---------------------- ##
+## Running config.status. ##
+## ---------------------- ##
+
+This file was extended by Pistachio config.status 0.4, which was
+generated by GNU Autoconf 2.69.  Invocation command line was
+
+  CONFIG_FILES    = ./Makefile
+  CONFIG_HEADERS  = 
+  CONFIG_LINKS    = 
+  CONFIG_COMMANDS = 
+  $ ./config.status 
+
+on tyson-Lenovo-ideapad-120S-14IAP
+
+config.status:816: creating ./Makefile
+config.status:816: creating config.h
+config.status:991: config.h is unchanged
+
+## ---------------------- ##
+## Running config.status. ##
+## ---------------------- ##
+
+This file was extended by Pistachio config.status 0.4, which was
+generated by GNU Autoconf 2.69.  Invocation command line was
+
+  CONFIG_FILES    = ./Makefile
+  CONFIG_HEADERS  = 
+  CONFIG_LINKS    = 
+  CONFIG_COMMANDS = 
+  $ ./config.status 
+
+on tyson-Lenovo-ideapad-120S-14IAP
+
+config.status:816: creating ./Makefile
+config.status:816: creating config.h
+config.status:991: config.h is unchanged
+
+## ---------------------- ##
+## Running config.status. ##
+## ---------------------- ##
+
+This file was extended by Pistachio config.status 0.4, which was
+generated by GNU Autoconf 2.69.  Invocation command line was
+
+  CONFIG_FILES    = ./Makefile
+  CONFIG_HEADERS  = 
+  CONFIG_LINKS    = 
+  CONFIG_COMMANDS = 
+  $ ./config.status 
+
+on tyson-Lenovo-ideapad-120S-14IAP
+
+config.status:816: creating ./Makefile
+config.status:816: creating config.h
+config.status:991: config.h is unchanged
+
+## ---------------------- ##
+## Running config.status. ##
+## ---------------------- ##
+
+This file was extended by Pistachio config.status 0.4, which was
+generated by GNU Autoconf 2.69.  Invocation command line was
+
+  CONFIG_FILES    = ./Makefile
+  CONFIG_HEADERS  = 
+  CONFIG_LINKS    = 
+  CONFIG_COMMANDS = 
+  $ ./config.status 
+
+on tyson-Lenovo-ideapad-120S-14IAP
+
+config.status:816: creating ./Makefile
+config.status:816: creating config.h
+config.status:991: config.h is unchanged
+
+## ---------------------- ##
+## Running config.status. ##
+## ---------------------- ##
+
+This file was extended by Pistachio config.status 0.4, which was
+generated by GNU Autoconf 2.69.  Invocation command line was
+
+  CONFIG_FILES    = ./Makefile
+  CONFIG_HEADERS  = 
+  CONFIG_LINKS    = 
+  CONFIG_COMMANDS = 
+  $ ./config.status 
+
+on tyson-Lenovo-ideapad-120S-14IAP
+
+config.status:816: creating ./Makefile
+config.status:816: creating config.h
+config.status:991: config.h is unchanged
+
+## ---------------------- ##
+## Running config.status. ##
+## ---------------------- ##
+
+This file was extended by Pistachio config.status 0.4, which was
+generated by GNU Autoconf 2.69.  Invocation command line was
+
+  CONFIG_FILES    = ./Makefile
+  CONFIG_HEADERS  = 
+  CONFIG_LINKS    = 
+  CONFIG_COMMANDS = 
+  $ ./config.status 
+
+on tyson-Lenovo-ideapad-120S-14IAP
+
+config.status:816: creating ./Makefile
+config.status:816: creating config.h
+config.status:991: config.h is unchanged
+
+## ---------------------- ##
+## Running config.status. ##
+## ---------------------- ##
+
+This file was extended by Pistachio config.status 0.4, which was
+generated by GNU Autoconf 2.69.  Invocation command line was
+
+  CONFIG_FILES    = ./Makefile
+  CONFIG_HEADERS  = 
+  CONFIG_LINKS    = 
+  CONFIG_COMMANDS = 
+  $ ./config.status 
+
+on tyson-Lenovo-ideapad-120S-14IAP
+
+config.status:816: creating ./Makefile
+config.status:816: creating config.h
+config.status:991: config.h is unchanged
+
+## ---------------------- ##
+## Running config.status. ##
+## ---------------------- ##
+
+This file was extended by Pistachio config.status 0.4, which was
+generated by GNU Autoconf 2.69.  Invocation command line was
+
+  CONFIG_FILES    = ./Makefile
+  CONFIG_HEADERS  = 
+  CONFIG_LINKS    = 
+  CONFIG_COMMANDS = 
+  $ ./config.status 
+
+on tyson-Lenovo-ideapad-120S-14IAP
+
+config.status:816: creating ./Makefile
+config.status:816: creating config.h
+config.status:991: config.h is unchanged
+
+## ---------------------- ##
+## Running config.status. ##
+## ---------------------- ##
+
+This file was extended by Pistachio config.status 0.4, which was
+generated by GNU Autoconf 2.69.  Invocation command line was
+
+  CONFIG_FILES    = ./Makefile
+  CONFIG_HEADERS  = 
+  CONFIG_LINKS    = 
+  CONFIG_COMMANDS = 
+  $ ./config.status 
+
+on tyson-Lenovo-ideapad-120S-14IAP
+
+config.status:816: creating ./Makefile
+config.status:816: creating config.h
+config.status:991: config.h is unchanged
+
+## ---------------------- ##
+## Running config.status. ##
+## ---------------------- ##
+
+This file was extended by Pistachio config.status 0.4, which was
+generated by GNU Autoconf 2.69.  Invocation command line was
+
+  CONFIG_FILES    = ./Makefile
+  CONFIG_HEADERS  = 
+  CONFIG_LINKS    = 
+  CONFIG_COMMANDS = 
+  $ ./config.status 
+
+on tyson-Lenovo-ideapad-120S-14IAP
+
+config.status:816: creating ./Makefile
+config.status:816: creating config.h
+config.status:991: config.h is unchanged

user.enryo/include/l4/powerpc64/tracebuffer.h

@@ -0,0 +1,34 @@
+/*********************************************************************
+ *
+ * Copyright (C) 2002,  Karlsruhe University
+ *
+ * File path:     l4/powerpc/tracebuffer.h
+ * Description:   Functions for accessing the tracebuffer
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ * 1. Redistributions of source code must retain the above copyright
+ *    notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ *    notice, this list of conditions and the following disclaimer in the
+ *    documentation and/or other materials provided with the distribution.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
+ * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+ * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
+ * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
+ * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+ * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
+ * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
+ * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+ * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
+ * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
+ * SUCH DAMAGE.
+ *
+ ********************************************************************/
+#pragma once 
+
+L4_INLINE void L4_Tbuf_StoreRecordArch(L4_TraceRecord_t *rec, L4_TraceConfig_t config)
+{
+}