Popular repositories

1. kerneliso Public

   Forked from ivandavidov/minimal

   Kernel ISO build tool is a simple utility to create bootable image from supplied kernel.

   Shell 8 1

2. dev-scripts Public

   Support scripts to deploy development kernel on VMDK image

   Makefile 2 1

3. x-tools Public

   Linux kernel maintainer tools

   Shell 2 2

4. build-ac100 Public

   Collection of tools and scripts to automatically build and install kernel images on Toshiba AC100

   Shell 1

5. rdma-plumbing Public

   Linux Infiniband/RDMA Subsystem user space libraries

   C 1

6. utils Public

   Small scripts to make life easy

   Shell