File content as of revision 6:e63641e13374:

#include "mbed.h"
#include "C12832_lcd.h"
#include "Arial_9.h"
#include "Small_7.h"
#include "graphics.h"
#include "models.h"
#include "rtos.h"
#include "point.h"

C12832_LCD lcd;

// down: p12, left: p13, center: p14, up: p15, right: p16
InterruptIn button(p14);
DigitalOut led1(LED1);

Mutex jump_mtx;
Mutex update_mtx;
int jump_flag = 0;
Person h;

void a(){
    h.jump();
}

void receive(void const *argument){
    while(true){
        jump_mtx.lock();
        button.rise(&a);
        jump_mtx.unlock();
        //Thread::wait(0.1);
    }
}



int main(){
    point p;
    printf("hello\n");
    Thread receive_th(receive);
    while(true){
        update_mtx.lock();
        p = h.update();
        update_mtx.unlock();
        
        //printf("x:%d  y:%d\n", p.x,p.y);
        lcd.cls();
        lcd.print_bm(bitmPlayer,p.x,p.y);
        lcd.copy_to_lcd();
        wait(0.02);
        lcd.cls();
        lcd.print_bm(bitmPlayerB,p.x,p.y);
        lcd.copy_to_lcd();
        wait(0.02);
    }
}