404 Not Found

The requested path /src/inferno-os/os/boot/pc/pbsdisk.s was not found on this server.

rc-httpd at plan9.stanleylieber.com