File content as of revision 3:157e0f68b775:

//Test of cheap 13.56 Mhz RFID-RC522 module from eBay
//This code is based on Martin Olejar's MFRC522 library. Minimal changes
//Adapted for Nucleo STM32 F401RE. Should work on other Nucleos too

//Connect as follows:
//RFID pins        ->  Nucleo header CN5 (Arduino-compatible header)
//----------------------------------------
//RFID IRQ=pin5    ->   Not used. Leave open
//RFID MISO=pin4   ->   Nucleo SPI_MISO=PA_6=D12
//RFID MOSI=pin3   ->   Nucleo SPI_MOSI=PA_7=D11
//RFID SCK=pin2    ->   Nucleo SPI_SCK =PA_5=D13
//RFID SDA=pin1    ->   Nucleo SPI_CS  =PB_6=D10
//RFID RST=pin7    ->   Nucleo         =PA_9=D8
//3.3V and Gnd to the respective pins                              
                              
#include "mbed.h"
#include "MFRC522.h"
#include "Servo.h"
// Nucleo Pin for MFRC522 reset (pick another D pin if you need D8)
#define MF_RESET    D8
#define PWMA PC_8
//Serial connection to PC for output
Serial pc(SERIAL_TX, SERIAL_RX);
DigitalOut green(D7);
DigitalOut red(D6);
MFRC522    RfChip   (SPI_MOSI, SPI_MISO, SPI_SCK, SPI_CS, MF_RESET);
uint8_t card1=0x20;
uint8_t card2=0x82;
uint8_t card3=0xBF;
uint8_t card4=0x4F;
PwmOut mypwm(PWMA);
int main(void) {red=0;
  volatile float speed_value = 0.5;

    Servo myservo(D2);
  pc.printf("starting...\n");
  // Init. RC522 Chip
  RfChip.PCD_Init();
  while (true) {
    red=0;
    // Look for new cards
    if ( ! RfChip.PICC_IsNewCardPresent())
    {
      wait_ms(500);
      continue;
    }

    // Select one of the cards
    if ( ! RfChip.PICC_ReadCardSerial())
    {
      wait_ms(500);
      continue;
    }
    // Print Card UID
    pc.printf("Card UID: ");
    for (uint8_t i = 0; i < RfChip.uid.size; i++)
    {pc.printf("%d%",i);
      pc.printf(" %X02", RfChip.uid.uidByte[i]); 
    }
    pc.printf("\n\r");
 if((RfChip.uid.uidByte[0]==card1)&&(RfChip.uid.uidByte[1]==card2)&&(RfChip.uid.uidByte[2]==card3)&&(RfChip.uid.uidByte[3]==card4))
{pc.printf("\nhello");
mypwm.pulsewidth(90);
green=1;
myservo=90;
wait_ms(3000);
myservo=-90;
green=0; 
red=0;       
}else {mypwm.pulsewidth(-90);
green=0;
red=1;} 
    // Print Card type
    uint8_t piccType = RfChip.PICC_GetType(RfChip.uid.sak);
    pc.printf("PICC Type: %s \n\r", RfChip.PICC_GetTypeName(piccType));
    wait_ms(1000);
  }
}