# Empty file waiting for deletion once Makefile.boot isn't needed any more.
| Name | Type | Size | Permission | Actions |
|---|---|---|---|---|
| include | Folder | 0755 |
|
|
| Kconfig | File | 3.4 KB | 0644 |
|
| Makefile | File | 583 B | 0644 |
|
| Makefile.boot | File | 76 B | 0644 |
|