73cf59a Remove sources for kernel-tools

3 files Authored by peb 5 years ago, Committed by jforbes 5 years ago,
    Remove sources for kernel-tools
    
    The userspace tools were split out into kernel-tools last year. Remove
    their sources too.
    
    Signed-off-by: Paul Bolle <pebolle@tiscali.nl>
    
        
file removed
-3
file removed
-13
file modified
+0 -4