| File | Mode | Size |
|---|---|---|
| Kconfig | -rw-r--r-- | 2.6 KB |
| Makefile | -rw-r--r-- | 623 bytes |
| Makefile.boot | -rw-r--r-- | 183 bytes |
| core.h | -rw-r--r-- | 140 bytes |
| dcscb.c | -rw-r--r-- | 4.7 KB |
| dcscb_setup.S | -rw-r--r-- | 1016 bytes |
| hotplug.c | -rw-r--r-- | 2.2 KB |
| platsmp.c | -rw-r--r-- | 2.3 KB |
| spc.c | -rw-r--r-- | 13.8 KB |
| spc.h | -rw-r--r-- | 850 bytes |
| tc2_pm.c | -rw-r--r-- | 7.3 KB |
| v2m-mps2.c | -rw-r--r-- | 491 bytes |
| v2m.c | -rw-r--r-- | 409 bytes |
