#include <stdio.h>
#include "platform.h"
#include "platform.h"
#include "xparameters.h"
#include "xil_io.h"
#include "xil_printf.h"


int main()
{
    int sw_out;
    Xil_Out32(XPAR_AXI_GPIO_0_BASEADDR, 0b00010001);
    sw_out = Xil_In32(XPAR_AXI_GPIO_1_BASEADDR);
    xil_printf("sw_out = 0x%x\n\r",sw_out);
    return 0;
}