put new threads at the end of the thread queue

reduces diff with -xen

diff --git a/platform/baremetal/sched.c b/platform/baremetal/sched.c
index 363cc81852c380010b6a9d8ce74c68add40ac00a..d51ec2b8a41bb762b5056ee4f1605f951eb9ec57 100644 (file)
--- a/platform/baremetal/sched.c
+++ b/platform/baremetal/sched.c
@@ -299,7 +299,7 @@ bmk_sched_create(const char *name, void *cookie, int joinable,
        thread->bt_wakeup_time = -1;
 
        set_runnable(thread);
-       TAILQ_INSERT_HEAD(&threads, thread, bt_entries);
+       TAILQ_INSERT_TAIL(&threads, thread, bt_entries);
 
        allocothertls(thread);