d0k3 cce1032d34 Fix revised Makefile

2017-11-17 19:37:45 +01:00

..

boot.s

Fix revised Makefile

2017-11-17 19:37:45 +01:00

gic.c

Fix revised Makefile

2017-11-17 19:37:45 +01:00

gic.h

Fix revised Makefile

2017-11-17 19:37:45 +01:00

gpulcd.c

Fix revised Makefile

2017-11-17 19:37:45 +01:00

gpulcd.h

Fix revised Makefile

2017-11-17 19:37:45 +01:00

irq.s

Fix revised Makefile

2017-11-17 19:37:45 +01:00

main.c

Fix revised Makefile

2017-11-17 19:37:45 +01:00