Ronald G. Minnich c9eec28f31 vga: can run acme/rio/clock, no mouse yet. 8 years ago
..
root ad925b881e kernel: default kernel name is "harvey" 8 years ago
FIX.sed ad925b881e kernel: default kernel name is "harvey" 8 years ago
Linux ad925b881e kernel: default kernel name is "harvey" 8 years ago
acore.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
acore.c.old ad925b881e kernel: default kernel name is "harvey" 8 years ago
acpi.h ad925b881e kernel: default kernel name is "harvey" 8 years ago
amd64.h ad925b881e kernel: default kernel name is "harvey" 8 years ago
amd64coreboot.json 4f8820b727 newvga: this now builds but breaks none of the old stuff. 8 years ago
amd64cpu.json c9eec28f31 vga: can run acme/rio/clock, no mouse yet. 8 years ago
apic.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
apic.h ad925b881e kernel: default kernel name is "harvey" 8 years ago
arch.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
archamd64.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
asm.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
backtrace.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
backtrace.h ad925b881e kernel: default kernel name is "harvey" 8 years ago
boot.fs ad925b881e kernel: default kernel name is "harvey" 8 years ago
cbscreen.c 4f8820b727 newvga: this now builds but breaks none of the old stuff. 8 years ago
cbvga.c 4f8820b727 newvga: this now builds but breaks none of the old stuff. 8 years ago
cga.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
clean.json ad925b881e kernel: default kernel name is "harvey" 8 years ago
core.json d196f113d5 vga: always rebuild libdraw and libmemdraw 8 years ago
coreboot.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
cpuidamd64.S ad925b881e kernel: default kernel name is "harvey" 8 years ago
ctype.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
dat.h ad925b881e kernel: default kernel name is "harvey" 8 years ago
devacpi.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
devarch.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
deviig.c 0dd1775f4c newvga: remove references to iig from classic amd64cpu; create new type: amd64coreboot 8 years ago
devusb.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
devvga.c ae5dd21f2f vga device compiles; realmodemem is back; realemu runs 8 years ago
entry.S ad925b881e kernel: default kernel name is "harvey" 8 years ago
ether8139.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
ether82563.c 83b64228e5 Revert "ether82563.c: update with fixes from Geoff Collyer" 8 years ago
etherbcm.c.NO ad925b881e kernel: default kernel name is "harvey" 8 years ago
etherif.h ad925b881e kernel: default kernel name is "harvey" 8 years ago
fns.h ad925b881e kernel: default kernel name is "harvey" 8 years ago
fpu.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
fpu.c.old ad925b881e kernel: default kernel name is "harvey" 8 years ago
i8254.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
i8259.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
init9.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
inith.json ad925b881e kernel: default kernel name is "harvey" 8 years ago
io.h ad925b881e kernel: default kernel name is "harvey" 8 years ago
ioapic.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
iob.h ad925b881e kernel: default kernel name is "harvey" 8 years ago
k8cpu ad925b881e kernel: default kernel name is "harvey" 8 years ago
k8cpufs ad925b881e kernel: default kernel name is "harvey" 8 years ago
k8cpukexec ad925b881e kernel: default kernel name is "harvey" 8 years ago
kernel.ld ad925b881e kernel: default kernel name is "harvey" 8 years ago
l64acidt.S ad925b881e kernel: default kernel name is "harvey" 8 years ago
l64fpu.S ad925b881e kernel: default kernel name is "harvey" 8 years ago
l64idt.S ad925b881e kernel: default kernel name is "harvey" 8 years ago
l64syscall.s ad925b881e kernel: default kernel name is "harvey" 8 years ago
l64v.S ad925b881e kernel: default kernel name is "harvey" 8 years ago
l64vsyscall.S ad925b881e kernel: default kernel name is "harvey" 8 years ago
main.c 5a4b4a356e kernel: remove awake (and related code), see #25 8 years ago
map.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
mem.h ae5dd21f2f vga device compiles; realmodemem is back; realemu runs 8 years ago
memory.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
mmu.c 6ce8f66a5e mmu: remove the check in vmap for machno != 0 8 years ago
mouse.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
mp.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
msi.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
multiboot.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
nixtype ad925b881e kernel: default kernel name is "harvey" 8 years ago
physalloc.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
pmcio.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
qmalloc.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
ratrace.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
screen.c c9eec28f31 vga: can run acme/rio/clock, no mouse yet. 8 years ago
screen.h ad925b881e kernel: default kernel name is "harvey" 8 years ago
sdata.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
sipi.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
startdisk ad925b881e kernel: default kernel name is "harvey" 8 years ago
syscall.c 2ad554ed8f kernel: remove deprecated syscall sysr1, see #29 8 years ago
tcore.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
trap.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
uncached.h ad925b881e kernel: default kernel name is "harvey" 8 years ago
usbehci.h ad925b881e kernel: default kernel name is "harvey" 8 years ago
usbehcipc.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
usbohci.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
usbuhci.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
vga.c c9eec28f31 vga: can run acme/rio/clock, no mouse yet. 8 years ago
vgax.c ad925b881e kernel: default kernel name is "harvey" 8 years ago
vsvm.c ad925b881e kernel: default kernel name is "harvey" 8 years ago