View files for the book
Operating Systems Design
Note: these files are formatted for viewing; actual files can be downloaded from the
Xinu web site.
This page lists files for the ARM version and two X86 versions
A file common across all platforms has no background color; a file specific to one platform has a background as follows:
ARM (BeagleBoneBlack)
X86 (Galileo board)
X86 (on VirtualBox)
0 - 9
82545EMInit.c
A
abs.c
am335x_eth.h
armv7a.h
arp_dump.c
atol.c
addargs.c
am335x_watchdog.h
arp.c
ascdate.c
am335x_control.h
apic.h
arp.h
atoi.c
B
bufinit.c
bufpool.h
bzero.c
C
Configuration
clkhandler.c
clock.h
conf.c
create.c
ctype_.c
Configuration
clkhandler.c
clock.h
conf.h
create.c
Configuration
clkhandler.c
clock.h
conf.h
ctxsw.S
chprio.c
clkinit.c
close.c
conf.h
ctxsw.S
clkdisp.S
clkinit.c
conf.c
control.c
ctxsw.S
clkdisp.S
clkinit.c
conf.c
create.c
ctype.h
D
date.h
delay.h
device.h
dhcp_dump.c
dns.h
dot2ip.c
debug.c
delay.h
dhcp.c
dhcp_dump.c
doprnt.c
debug.h
delay.h
dhcp.h
dns.c
doscan.c
E
e1000e.h
ethdispatch.S
ethhandler.c
ethinit.c
ethread.c
evec.c
early_imr.c
ethdispatch.S
ethhandler.c
ethloop.h
ethwrite.c
evec.c
ethcontrol.c
ether.h
ethhandler.c
ethmcast.c
ethwrite.c
exit.c
ethcontrol.c
ether.h
ethinit.c
ethread.c
ethwrite.c
ethcontrol.c
ether.h
ethinit.c
ethread.c
evec.c
F
fdoprnt.c
fgets.c
flash.h
fputc.c
freebuf.c
fscanf.c
fgetc.c
file.h
fprintf.c
fputs.c
freemem.c
G
getbuf.c
getitem.c
getstk.c
gettime.c
gpiohandler.c
gpioselect.h
getc.c
getmem.c
getticks.c
getutime.c
gpioinit.c
gpiowrite.c
getchar.c
getpid.c
getticks.c
gpio.h
gpioread.c
getdev.c
getprio.c
getticks.c
gpiocontrol.c
gpioselect.c
H
hexdump.c
hpet.h
I
i386.c
icu.h
initialize.c
insertd.c
intr.S
ioerr.c
i386.h
icu.s
initialize.c
interrupt.h
intr.S
ionull.c
icmp.c
icu.s
initialize.c
interrupt.h
intr.S
ip.c
icmp.h
init.c
insert.c
interrupt.h
io.h
ip.h
K
kernel.h
kill.c
kprintf.c
kprintf.c
kprintf.c
L
labs.c
lfgetmode.c
lfilesys.h
lflputc.c
lfsckfmt.c
lftruncate.c
lexan.c
lfiballoc.c
lflclose.c
lflread.c
lfscreate.c
limits.h
lfdballoc.c
lfibclear.c
lflcontrol.c
lflseek.c
lfsetup.c
lfdbfree.c
lfibget.c
lflgetc.c
lflwrite.c
lfsinit.c
lfflush.c
lfibput.c
lflinit.c
lfscheck.c
lfsopen.c
M
main.c
memcmp.c
memcpy.c
meminit.c
memory.h
mount.c
mark.c
memcpy.c
meminit.c
memory.h
memset.c
multiboot.h
mark.h
memcpy.c
meminit.c
memory.h
mkbufpool.c
multiboot.h
N
name.h
nammap.c
net.c
net.c
newqueue.c
naminit.c
namopen.c
net.c
net.h
O
open.c
P
panic.c
pipe.h
pipe_read.c
process.h
ptcreate.c
putc.c
pci.c
pipe_close.c
pipe_write.c
prototypes.h
ptdelete.c
putchar.c
pci.c
pipe_getc.c
platinit.c
prototypes.h
ptinit.c
pxe.c
pci.h
pipe_init.c
platinit.c
prototypes.h
ptrecv.c
pxe.c
pci.h
pipe_open.c
ports.h
ptclear.c
ptreset.c
pxe.h
pdump.c
pipe_putc.c
printf.c
ptcount.c
ptsend.c
pxe.h
Q
qsort.c
quark_irq.c
quark_irq.h
quark_pdat.h
queue.c
quark_eth.h
quark_irq.h
quark_pdat.c
quark_pdat.h
queue.h
R
ramclose.c
rdisksys.h
rdsqfcns.c
recvtime.c
rflinit.c
rfsgetmode.c
ramdisk.h
rdsars.c
rdsread.c
resched.c
rflputc.c
rfsinit.c
raminit.c
rdscomm.c
rdswrite.c
resched.h
rflread.c
rfsndmsg.c
ramopen.c
rdscontrol.c
read.c
resume.c
rflseek.c
rfsopen.c
ramread.c
rdsinit.c
ready.c
rfilesys.h
rflwrite.c
ramwrite.c
rdsopen.c
receive.c
rflclose.c
rfscomm.c
rand.c
rdsprocess.c
recvclr.c
rflgetc.c
rfscontrol.c
S
sdmc.h
sdmcwrite.c
shell.h
sscanf.c
stdlib.h
strnlen.c
sdmc.h
seek.c
shprototypes.h
stacktrace.c
strchr.c
strrchr.c
sdmcclose.c
semaphore.h
signal.c
stacktrace.c
strcmp.c
strstr.c
sdmccmd.c
semcount.c
signaln.c
start.S
strcpy.c
suspend.c
sdmcdispatch.S
semcreate.c
sleep.c
start.S
string.h
sdmcinit.c
semdelete.c
spi.h
start.S
strlen.c
sdmcinterrupt.c
semreset.c
spicontrol.c
stdarg.h
strncat.c
sdmcopen.c
send.c
spiinit.c
stddef.h
strncmp.c
sdmcread.c
shell.c
sprintf.c
stdio.h
strncpy.c
T
testsuite.h
tftp.h
ttydispatch.S
ttyhandle_out.c
ttyhandler.c
ttykickout.c
tftp.c
tftp.h
ttygetc.c
ttyhandle_out.c
ttyinit.c
ttykickout.c
tftp.c
tty.h
ttyhandle_in.c
ttyhandle_out.c
ttyinit.c
ttyputc.c
tftp.c
ttycontrol.c
ttyhandle_in.c
ttyhandler.c
ttyinit.c
ttyread.c
tftp.h
ttydispatch.S
ttyhandle_in.c
ttyhandler.c
ttykickout.c
ttywrite.c
U
uart.h
uart.h
udp.h
userret.c
uart.h
udp.c
unsleep.c
W
wait.c
wakeup.c
write.c
X
xdone.c
xsh_arp.c
xsh_echo.c
xsh_memdump.c
xsh_ps.c
xsh_udpecho.c
xinu.h
xsh_cat.c
xsh_exit.c
xsh_memstat.c
xsh_rdstest.c
xsh_udpserver.c
xinu.h
xsh_clear.c
xsh_help.c
xsh_netinfo.c
xsh_sleep.c
xsh_uptime.c
xinu.h
xsh_date.c
xsh_kill.c
xsh_ns.c
xsh_tee.c
xsh_argecho.c
xsh_devdump.c
xsh_ls.c
xsh_ping.c
xsh_udpdump.c
Y
yield.c