This repository has been archived on 2022-02-17. You can view files and clone it, but cannot push or open issues or pull requests.

…
..
Makefile	…
Platform	…
irq.c	…
pci.c	…
reset.c	…
serial.c	…
setup.c	…
time.c	…