Splitting kmalloc into C code and ASM stubs
Splitting kmalloc into C code and ASM stubs
Merge branch 'oscore' of ssh://github/dargueta/CUSPOS into oscore