antmicro / tk1-kernel

TK1 kernel

Geek Repo

Github PK Tool

TK1 Kernel

Use the tk1_config config file.

About

TK1 kernel

Other

Languages

Language:C 95.2%Language:Assembly 2.0%Language:C++ 2.0%Language:Makefile 0.3%Language:Objective-C 0.3%Language:Perl 0.1%Language:Shell 0.0%Language:Python 0.0%Language:Yacc 0.0%Language:Lex 0.0%Language:Roff 0.0%Language:Scilab 0.0%Language:Awk 0.0%Language:GDB 0.0%Language:UnrealScript 0.0%Language:ASP 0.0%Language:M4 0.0%Language:SourcePawn 0.0%