Català-Valencià - Catalan
中文 - Chinese (Simplified)
中文 - Chinese (Traditional)
Česky - Czech
Dansk - Danish
Nederlands - Dutch
English - English
Suomi - Finnish
Français - French
Deutsch - German
עברית - Hebrew
हिंदी - Hindi
Magyar - Hungarian
Bahasa Indonesia - Indonesian
Italiano - Italian
日本語 - Japanese
한국어 - Korean
Македонски - Macedonian
मराठी - Marathi
Norsk - Norwegian
Polski - Polish
Português - Portuguese
Português - Portuguese (Brazil)
Русский - Russian
Slovenčina - Slovak
Slovenščina - Slovenian
Español - Spanish
Svenska - Swedish
Türkçe - Turkish
Українська - Ukrainian
Oëzbekcha - Uzbek
Subversion Repositories
shark
(root)
/
shark
/
branches
/
xen
/
ports
/
servo/
- Rev 1685
Rev
Show changed files
|
Directory listing
|
RSS feed
Filtering Options
From rev
To rev
Max revs
Search history for
Show All
Rev
Age
Author
Path
Log message
Diff
1685
5922d 15h
fabio
/shark/branches/xen/
Add support for compiling applications.
Add a somewhat backward compatible build system for applications, and
reconnect some ports used by the supported demos to the compilation.
1681
5955d 20h
fabio
/shark/branches/xen/
Redesign the build system.
Switch to a non-recursive easy to configure build system, with a topdir
makefile that collects information on the targets to build from the subdirs
and generates the needed targets and commands. The ports and demos are
still not connected to the build. The new build system is documented
in the main makefile.
1618
5986d 15h
fabio
/shark/branches/xen/
Started a new xen/ branch.
The plan is to support xen (without HVM) as an execution platform, and,
in the process, to decouple the generic kernel from the OSLib, trying to
make it easier to port Shark to new architectures.
1063
6338d 05h
tullio
/shark/trunk/
Added missing GPL license disclaimer.
844
7186d 02h
mauro
/shark/trunk/ports/servo/
protocol file added
772
7226d 23h
mauro
/shark/trunk/ports/servo/
servo_get_analog - New version
771
7234d 03h
giacomo
/shark/trunk/
Update
750
7276d 03h
giacomo
/shark/trunk/
Update
738
7283d 07h
giacomo
/shark/trunk/ports/servo/
Update
735
7283d 21h
giacomo
/shark/trunk/
Update
734
7284d 01h
giacomo
/shark/trunk/ports/servo/
Update
733
7287d 05h
giacomo
/shark/trunk/ports/servo/
Update
732
7287d 22h
giacomo
/shark/trunk/
Update
730
7287d 22h
giacomo
/shark/trunk/
Update
728
7288d 01h
giacomo
/shark/trunk/ports/servo/
Update
727
7288d 01h
giacomo
/shark/trunk/
Update
726
7288d 03h
giacomo
/shark/trunk/ports/servo/
Update
725
7288d 05h
giacomo
/shark/trunk/ports/servo/
Update
724
7288d 05h
giacomo
/shark/trunk/ports/servo/
Update
721
7289d 00h
giacomo
/shark/trunk/
Update
←Prev
1
2
Next→
Show All