David Gálvez d1767a50e9 Make PCI memory space uncachable

2014-07-10 16:46:21 +00:00

..

BaS.c

some minor cosmetic fixes

2014-06-21 06:32:25 +00:00

cache.c

reformatted assembly

2014-04-22 10:47:36 +00:00

driver_mem.c

modified to throw errors if an unknown machine type is detected

2014-01-28 15:49:05 +00:00

exceptions.S

reverted to last released to make it work again

2014-06-21 06:21:41 +00:00

fault_vectors.c

sorted sources per functionality in different subdirs

2013-12-19 13:02:39 +00:00

init_fpga.c

modified init_fpga() to honour JTAG configuration. Does not work

2014-06-22 16:00:49 +00:00

interrupts.c

reformatted assembler code

2014-05-11 14:08:27 +00:00

mmu.c

Make PCI memory space uncachable

2014-07-10 16:46:21 +00:00

startcf.S

moved FPGA config GPIO initialization into init_fpga.c to enable external JTAG FPGA configuration

2014-06-20 12:02:11 +00:00

sysinit.c

moved FPGA config GPIO initialization into init_fpga.c to enable external JTAG FPGA configuration

2014-06-20 12:02:11 +00:00