source: trunk/user/idbg/idbg.c @ 450

Last change on this file since 450 was 450, checked in by alain, 6 years ago

Fix a bug in function sched_handle_signal():
When the deleted user thread is the last executed thread,
the sched->u_last field must be updated to point on another user thread.

File size: 704 bytes
Line 
1///////////////////////////////////////////////////////////////////////////////
2// File   :  idbg.c
3// Date   :  May 2018
4// Author :  Alain Greiner <alain.greiner@lip6.fr>
5///////////////////////////////////////////////////////////////////////////////
6// This single thread interactive debuger can be used to access and display
7// various kernel structures
8///////////////////////////////////////////////////////////////////////////////
9
10#include <stdlib.h>
11#include <stdio.h>
12#include <almosmkh.h>
13
14///////////
15void main()
16{
17    unsigned long long  cycle;
18
19    get_cycle( &cycle );
20
21    printf( "\n[IDBG] starts at cycle %d\n", (unsigned int)cycle ); 
22
23//    idbg();
24
25    exit( 0 );
26
27} // end main()
28
Note: See TracBrowser for help on using the repository browser.