H8300-boot

Actual source code can be downloaded using a darcs tool:

 darcs get http://rtime.felk.cvut.cz/repos/h8300-boot

This will create a copy of the repository on your computer. You can upgrade your repository using the command:

 darcs pull

If you have an acount on the rtime server, you can use ssh-based access to the repository. If an administrater gave you the right for writing to the repository, you can not only read (pull) repository but also write (push) changes to the repository.

The syntax for getting the repo is:

 darcs get <login>@rtime.felk.cvut.cz:/var/repos/h8300-boot