# HG changeset patch
# User Windel Bouwman
# Date 1424344625 -3600
# Node ID 1613c9d479bf658b4d48dcf143f47780cf862e8b
# Parent  0fb6633c42f655e1cf39be25ae8d85445762c5e3
Add top level build files

diff -r 0fb6633c42f6 -r 1613c9d479bf build.xml
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/build.xml	Thu Feb 19 12:17:05 2015 +0100
@@ -0,0 +1,9 @@
+
+<project name="lcfos" default="all">
+    <target name="all">
+        <build file="user/build.xml" />
+        <build file="kernel/build.xml" />
+    </target>
+
+</project>
+
diff -r 0fb6633c42f6 -r 1613c9d479bf kernel/build.xml
--- a/kernel/build.xml	Thu Feb 19 00:13:07 2015 +0100
+++ b/kernel/build.xml	Thu Feb 19 12:17:05 2015 +0100
@@ -6,7 +6,6 @@
 
 
     <target name="vexpress">
-        <build file="../user/build.xml" />
 
         <assemble source="arch/qemu_vexpress/start.asm"
             target="arm" output="obj/start.o" />
diff -r 0fb6633c42f6 -r 1613c9d479bf kernel/schedule.c3
--- a/kernel/schedule.c3	Thu Feb 19 00:13:07 2015 +0100
+++ b/kernel/schedule.c3	Thu Feb 19 12:17:05 2015 +0100
@@ -6,10 +6,12 @@
 
 var process.process_t *current;
 
-function void executeNext()
+function void execute_next()
 {
     var process.process_t *old;
 
+    old = 0;
+
     if (old != current)
     {
         //execute(current);
diff -r 0fb6633c42f6 -r 1613c9d479bf make.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/make.sh	Thu Feb 19 12:17:05 2015 +0100
@@ -0,0 +1,5 @@
+#!/bin/bash
+
+export PYTHONPATH=../ppci
+../ppci/bin/ppci-build.py --log debug build
+