no longer needed because gcc has been fixed

diff --git a/sys/lib/libkern/arch/arm32/_mcount.S b/sys/lib/libkern/arch/arm32/_mcount.S
deleted file mode 100644 (file)
index 63cf52e..0000000
--- a/sys/lib/libkern/arch/arm32/_mcount.S
+++ /dev/null
@@ -1,17 +0,0 @@
-fp     .req    r11
-ip     .req    r12
-sp     .req    r13
-lr     .req    r14
-pc     .req    r15
-
-.text
-       .align  0
-
-       .global mcount
-mcount:
-       stmfd   sp!, {lr}
-       mov     r1, lr
-       mov     r0, ip
-       bl      __mcount
-       ldmfd   sp!, {lr}
-       add     pc, lr, #0x00000004