一、环境：
开发板：100ASK_T113-Pro V1.2
NAND镜像：tina_t113-100ask_uart3.img
编译环境：百文网百度网盘的虚拟机 + ubuntu18.04镜像
二、问题现象：
做《第5章 开发板的第 1 个驱动实验》该项目实验过程中，使用adb由ubuntu向开发板传输时发生如下问题：
如果插入一个空SD卡，挂载到/boot目录(没有p4分区)，可以复制成功，但是push lib到/还是会失败，提示没有足够的空间问题。
三、补充信息：
1、adb push前，如下操作需要插入一个另外准备的SD卡吗？格式化的还是烧写好固件的？
2、开发板状态:
