From 85686674812dd4846579cf014ee7cd02043594c1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Francisco=20Jos=C3=A9=20Garc=C3=ADa=20Garc=C3=ADa?=
 <frangarcj@gmail.com>
Date: Wed, 5 Apr 2017 19:35:45 +0200
Subject: [PATCH] Add threading.c

---
 frontend/drivers/platform_psp.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/frontend/drivers/platform_psp.c b/frontend/drivers/platform_psp.c
index 2c4f1b1f17..012f403fcd 100644
--- a/frontend/drivers/platform_psp.c
+++ b/frontend/drivers/platform_psp.c
@@ -29,6 +29,7 @@
 #include <pthread.h>
 
 #include "../../bootstrap/vita/sbrk.c"
+#include "../../bootstrap/vita/threading.c"
 
 #else
 #include <pspkernel.h>