Archive for julho, 2007

Sparse, um parser para o Kernel

julho 9, 2007

Sparse é uma ferramenta desenvolvida para detectar possíveis falhas no código do kernel Linux. Inicialmente desenvolvida por Linus Torvalds é desde de 2006 mantida por Josh Triplett.

Obtendo e instalando:

O Sparse pode ser obtido em :
http://www.kernel.org/pub/software/devel/sparse/

Baixe a versão mais atual e para instalar é só seguir a seqüencia:

make
make install

Ele irá instalar os arquivo no diretório root, então crie um link simbólico para /bin

ln -s /root/bin/sparse /bin/sparse

Usando o Sparse

Após alterar os arquivos fontes do kernel linux, você precisa recompilar e reiniciar seu sistema, porém ao compilar você pode detectar as possíveis falhas das alterações usando comando :

make C=1

Este executará o sparse em todos os arquivos fontes que serão recompilados.

make C=2

Este executa o sparse em arquivos que serão recompilados ou não. Uma forma mais rápida de verificar a árvore do kernel inteira quando você for compilar.

Anúncios

Diversão

julho 1, 2007

Essa noite estava meio ocioso, quando resolvi buscar pacotes que eu achava interessante para usar no Debian, e dois me chamaram a atenção:

O primeiro foi o recordMyDesktop, com este software é muito fácil criar vídeos a partir do seu desktop, gravando em formato .ogg.

O segundo é mais interessante foi o hibernate, com ele você pode trabalhar em seu Desktop, deixar todos os textos abertos e não salvos do gedit, vim etc…, e mandar sua máquina parar com aquele barulinho chato enquanto você tira uma soneca, e depois você continuar exatamene do ponto em que parou seu trabalho/diversão.
Tiveram outros como o lame, wma2wav, e muito mais que eu instalei mas ainda não mexi direito, quando eu achar mais que me chame a atenção, eu comento aqui!