18 Commits

Author	SHA1	Message	Date
Jan Stoess	423f77f1a9	Fix printf format identifier handling. Use %X for printing uppercase ... hexadecimal. And use %llx/%llp/%llu and so on to print long longs (u64_t).	2012-07-30 15:21:56 +02:00
Jan Stoess	b6f9ba493f	Remove obsolete file.	2010-07-14 11:28:32 +02:00
Jan Stoess	596dfada81	- Introduce sigma0 translation hooks (hack to get access to physical ... addresses > 4GB on 32-bit machines) - x86: Fix type-punning - ppc: improve console startup and device tree parsing in kernel	2010-07-06 18:05:59 +02:00
Jan Stoess	494bca763c	-Don't parse pagetables for get_on_cpu if SMP is disabled ... -Remove debug output	2010-07-01 13:25:04 +02:00
Jan Stoess	de23a4de92	PPC: More coherent startup messages ... KDB: Improve printing of TIDs	2010-07-01 13:15:32 +02:00
Jan Stoess	7befc1b79b	Don't include simics by default	2010-06-24 13:57:16 +02:00
Jan Stoess	82e9555bda	Merge cpu_t objects from glue to an api-wide one.	2010-06-24 12:29:25 +02:00
Jan Stoess	d52a5e203d	Added support for PPC440 processors, including full-virtualization capabilities	2010-03-16 10:38:11 +01:00
Jan Stoess	9406f9d969	Added missing headers	2010-03-02 23:58:37 +01:00
Jan Stoess	c881a86a2b	Huge patchset with 2 new features: ... - Experimental support for control transfer items - Experimental support for full virtualization on Intel x32 processors via VMX extensions - Improved, pluggable scheduler architecture, with support for round-robin, and (experimentally) hierarchical proportional share scheduling - Support for event logging (x32 only at present), which allows light-weight tracing kernel of events into a user-level buffer.	2010-03-01 23:33:11 +01:00
Jan Stoess	cf445723f5	Don't exit KDB after sigma0 configuration	2009-07-27 22:12:53 +02:00
Jan Stoess	9610239310	- Correctly print KDB TCB's thread id	2008-01-25 16:24:47 +01:00
Jan Stoess	e58dccbbda	- Add KDB's TCB to the list of known TCBs	2007-12-07 18:56:40 +01:00
Jan Stoess	004fb6daf7	- Make kdb_check_breakin more generic, since the hlt/input semantics need ... it, too	2007-12-07 18:56:21 +01:00
Jan Stoess	d8ad550fe3	- Only lookup global id of a potential tcb if it points into the TCB area	2007-12-04 12:17:52 +01:00
Jan Stoess	329bfc7e8e	- Make thread names array of type const char*	2007-11-27 12:04:54 +01:00
Jan Stoess	9dd56a02f2	- Typo with CONFIG_IS_64_BIT ... - Move tcb scheduling state into a dedicated string() function, which can be used elsewhere as well - Dump tcb flags	2007-11-26 10:56:25 +01:00
Espen Skoglund	bf3e62808e	Initial repository adapted to hg	2007-07-06 12:24:13 +02:00