| path | mode | size |
|---|---|---|
| .. | drwxr-xr-x | |
| Kconfig | -rw-r--r-- | 3 KB |
| Makefile | -rw-r--r-- | 623 b |
| Makefile.boot | -rw-r--r-- | 183 b |
| core.h | -rw-r--r-- | 140 b |
| dcscb.c | -rw-r--r-- | 5 KB |
| dcscb_setup.S | -rw-r--r-- | 1,016 b |
| hotplug.c | -rw-r--r-- | 2 KB |
| platsmp.c | -rw-r--r-- | 2 KB |
| spc.c | -rw-r--r-- | 14 KB |
| spc.h | -rw-r--r-- | 850 b |
| tc2_pm.c | -rw-r--r-- | 7 KB |
| v2m-mps2.c | -rw-r--r-- | 491 b |
| v2m.c | -rw-r--r-- | 409 b |