Update kernel.c
[ps4-sdk.git] / libPS4 / 
tree37c0a8195270051964e217130e3cab92921f6282
drwxr-xr-x   ..
-rw-r--r-- 790 Makefile
-rw-r--r-- 65 crt0.s
drwxr-xr-x - include
-rw-r--r-- 415 linker.x
drwxr-xr-x - source