Packages from the vendor tekkie

tekkie/micro-kickstart