CC = gcc
CFLAGS = -O -g

driver: driver.o kernels.so
	$(CC) $(CFLAGS) -rdynamic -o driver driver.o -ldl

driver.o: driver.c
	$(CC) $(CFLAGS) -c driver.c

kernels.so: kernels.c
	$(CC) $(CFLAGS) -fPIC -shared -o kernels.so kernels.c

dfiles: 
	objdump -d driver > driver-exec.d
	objdump -s --section .data driver > driver-data.d
	objdump -x driver > driver-hdr.d
	objdump -d driver.o > driver.d
	objdump -d kernels.so > kernels.d

clean:
	rm -rf *~ *.o *.so *.d driver