root@rishik:/home/ubuntu/kernel# make htc_pico_defconfig
  HOSTCC  scripts/basic/fixdep
  HOSTCC  scripts/kconfig/conf.o
  SHIPPED scripts/kconfig/zconf.tab.c
  SHIPPED scripts/kconfig/lex.zconf.c
  SHIPPED scripts/kconfig/zconf.hash.c
  HOSTCC  scripts/kconfig/zconf.tab.o
  HOSTLD  scripts/kconfig/conf
***
*** Can't find default configuration "arch/arm/configs/htc_pico_defconfig"!
***
make[1]: *** [htc_pico_defconfig] Error 1
make: *** [htc_pico_defconfig] Error 2
root@rishik:/home/ubuntu/kernel#