update

[l4.git] / l4 / pkg / plr / doc / threadini.sh

diff --git a/l4/pkg/plr/doc/threadini.sh b/l4/pkg/plr/doc/threadini.sh
index 54cf554a402603e6089828b35677b794e38fdb1b..47a17ba6930bf82e7cef08c85cbf69b4dfd58f82 100755 (executable)
--- a/l4/pkg/plr/doc/threadini.sh
+++ b/l4/pkg/plr/doc/threadini.sh
@@ -1,18 +1,35 @@
 #!/bin/bash
 
+echo "# generated for '$1'"
 echo "[general]"
-#echo "  print_vcpu_state    = y"
 echo "  page_fault_handling = rw"
-echo "  log                 = all"
 echo "  threads             = yes"
-echo "  redundancy          = none"
-#echo "  debug               = simple"
+echo "#  redundancy          = none"
+echo "#  redundancy          = dual"
+echo "#  redundancy          = triple"
+echo "  logbuf = 12"
+echo "  logrdtsc = true"
+echo "  logreplica = true"
+echo ""
+echo "#  print_vcpu_state    = y"
+echo "#  log                 = all"
+
 echo ""
 
 echo "[threads]"
 
-function_list="__pthread_lock __pthread_unlock pthread_mutex_init pthread_mutex_lock pthread_mutex_unlock"
+function_list="__pthread_lock __pthread_unlock pthread_mutex_lock pthread_mutex_unlock"
 
 for f in $function_list; do
        nm $1 | grep -E "\ $f" | sed -re "s/([0-9a-f]+) [TW] ($f(_rep)?)/  \2 = 0x\1/" | sed -re "s/[_]*pthread_//g"
 done
+
+
+kiptime=""
+for line in `objdump -lSCd $1 | grep ff0a0 | cut -d: -f 1`; do
+       kiptime+="0x$line "
+done
+kiptime=`echo $kiptime | sed -re 's/\w$//' | sed -re 's/ 0x/,0x/g'`
+echo ""
+echo "[kip-time]"
+echo "target = $kiptime"