Subversion Repositories shark

Rev

Go to most recent revision | Show changed files | Details | Compare with Previous | Blame | RSS feed

Filtering Options

Rev Age Author Path Log message Diff
1619 6117d 01h fabio /shark/branches/xen/ Move the OSLib libc/libm code into libc/arch.

Isolate the libc/libm code inside the OSLib and move it to libc/ with
the long term goal of isolating and cleaning up the interfaces between
the system components. The ARCH configuration variable will choose
the architecture Shark is being compiled for.

Now the architecture specific part of the libc is in libc/arch/$(ARCH),
but the include/makefile support is far from being generic enough.
 
1618 6117d 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.
 
1080 6166d 06h tullio /shark/trunk/ Changed the default base address to avoid changing it every time.  
1073 6455d 02h tullio /shark/trunk/ Updated makefiles to consider the new shark.cfg COMPILER option.  
1037 6761d 22h tullio /shark/trunk/ Resolved bug 237: printf.

Files affected:
- $(BASE)/makefile -> do not compile libfs if not requested into shark.cfg
- $(BASE)/shark.cfg -> added the option to compile or not the FS
- $(BASE)/config/config.mk -> add the make define to compile the FS
- $(BASE)/libc/stdio/printf.c -> remap to the cprintf if FS not compiled
 
637 7441d 23h giacomo /shark/trunk/ Update  
623 7442d 02h giacomo /shark/trunk/ Update  
620 7442d 21h mauro /shark/trunk/ Reboot mode added.  
599 7448d 23h giacomo /shark/trunk/ LINUX/DJGPP differences removed  
577 7461d 07h giacomo /shark/trunk/ Default version  
576 7462d 01h giacomo /shark/trunk/ Update  
575 7462d 21h giacomo /shark/trunk/ Update  
573 7463d 22h giacomo /shark/trunk/ Added LINUX/DJGPP selection  
558 7468d 06h giacomo /shark/trunk/ Update  
502 7504d 01h giacomo /shark/trunk/ Update York Tracer  
496 7505d 07h giacomo /shark/trunk/ Update  
489 7512d 22h giacomo /shark/trunk/ Update  
450 7531d 22h giacomo /shark/trunk/ Update  
449 7531d 22h giacomo /shark/trunk/ Update  
357 7594d 22h giacomo /shark/trunk/ Update  
355 7594d 23h giacomo /shark/trunk/ Update  
336 7616d 01h giacomo /shark/trunk/ Update  
331 7621d 04h giacomo /shark/trunk/ Timer Optimization  
309 7632d 00h giacomo /shark/trunk/ shark configuration file