EDK 10.1, timstamp and functions in Virtex4

Hi everyone,

I'm pretty new in the FPGA and embedded area, and I'm working in an
application using the Xilinx ML403 board, and the Xilinx tools ISE and
EDK 10.1. I have some questions about that.

-Is it possible to get the calendar time from the PPC? I need to
generate a time stamp, and I was trying to use the standard c library
<time.h>. I'm using the standard approach like

time_t now;
struct tm  *ts;
char       buf[80];

time(&now);
ts = localtime(&now);
strftime(buf, sizeof(buf), "%a %Y-%m-%d %H:%M:%S %Z", ts);
xil_printf("%s\n", buf);

but I got an error saying that the function "time" is not defined.
However, the other functions (localtime and strftime) works OK. Is the
function "time" implemented in EDK? Do you know any other way to do
the same?

- I'm using the library <sysace_stadio.h> for writing data in a CF
memory. Basically, I'm capturing data from a ethernet connection and
saving it in a file.

To make sure that the file won't be corrupted if something happen to
the board, I'm closing the file after every write. However, the
problem is if I open the file to write again I lost the previous data.

Is there any way to append data to an existing file, or maybe to avoid
corruption in an open file forcing an inmediate write without using
the buffer?

Thanks a lot in advance.
Best Regards.