Subversion Repositories HelenOS

Rev

Show changed files | Details | Compare with Previous | Blame | RSS feed

Filtering Options

Rev Age Author Path Log message Diff
2338 6241 d 1 h kebrt /branches/arm/ ARM 'machine' option added to the root config  
2263 6268 d 0 h kebrt /branches/arm/kernel/ gxemul HW devices mapped using hw_map(), #define MACHINE_TESTARM_GXEMUL added  
2131 6291 d 6 h decky /branches/ add development branches  
2128 6331 d 3 h jermar /trunk/ Add arm32 architecture. The 32 suffix is used to specify that 16-bit Thumb
instructions are not used. The arm32 code is mostly composed of placeholders
that need to be replaced by real implementation. So far, the arm32 tree
only compiles. If run under GXEmul simulator, an infinit loop at the
kernel entry point will be entered.
 
2125 6332 d 3 h decky /trunk/ experimental support for Objective C
(disabled by default)
 
2065 6371 d 0 h jermar /trunk/kernel/ Coding style fixes and formatting improvements.  
2064 6371 d 1 h vana /trunk/ SIMICS added as a simulator kernel runs on  
2030 6392 d 10 h decky /trunk/kernel/ thread CPU cycles accounting  
2020 6394 d 4 h decky /trunk/kernel/ integrate more tests  
2019 6394 d 4 h decky /trunk/kernel/ prepare for new test infrastructure  
2018 6394 d 5 h decky /trunk/kernel/ rename rdtsc() to get_cycle()  
2009 6401 d 1 h jermar /trunk/kernel/ Initial support for handling illegal virtual aliases on sparc64.  
1996 6413 d 4 h jermar /trunk/kernel/ Add option to compile the sparc64 kernel without the TTE_CV bit support.
The bit is not used by default now.
Enabling it may theoretically lead to physical memory inconsistencies until code that
mitigates the problem is written.
 
1995 6413 d 4 h jermar /trunk/kernel/ Move general configuration out of debugging configuration.
Add CONFIG_VIRT_IDX_CACHE.
 
1985 6415 d 7 h decky /trunk/kernel/ add benchmarking configuration directive  
1979 6418 d 1 h jermar /trunk/ Configuration changes on sparc64.
Compile TSB support by default.
Ask whether to start AP processors in the loader.
 
1952 6444 d 4 h jermar /trunk/ Rename xen32 to ia32xen.
The name seems to be more logical as Xen supports more host architectures.
 
1903 6469 d 2 h jermar /trunk/ SMP stuff for sparc64.
Almost complete except for IPIs.
The absence of IPI support deadlocks
the kernel when more CPUs are configured.
 
1896 6474 d 1 h jermar /trunk/ Convert sparc64 to detect keyboard and determine
its physical address by walking the memory representation
of the OpenFirmware device tree.

Add bus-specific functions that know how to apply the
"ranges" property to one component of the "reg" property.
Buses supported so far include FHC, EBUS and PCI.
 
1889 6479 d 2 h jermar /trunk/kernel/ Fix bug in mm/as.c:
- as_area_destroy() should not work with AS but as

sparc64 work:
- start implementing TSB support
 

Show All