| Kconfig | 1054 | 2013-02-18 15:59:05 -0800 | |
| Makefile | 84 | 2011-03-14 18:20:39 -0700 | |
| vga_switcheroo.c | 35332 | 2016-10-02 16:24:40 -0700 | |
| vgaarb.c | 41060 | 2016-12-11 11:18:02 -0800 |
| Kconfig | 1054 | 2013-02-18 15:59:05 -0800 | |
| Makefile | 84 | 2011-03-14 18:20:39 -0700 | |
| vga_switcheroo.c | 35332 | 2016-10-02 16:24:40 -0700 | |
| vgaarb.c | 41060 | 2016-12-11 11:18:02 -0800 |