Preciso compilar o kernel 2.6.23 + rtai 3.6. No entanto, preciso pegar a configuração atual do meu ubuntu. Como faço isso no ubuntu? Não tá aparecendo o /proc/configs.gz e também não encontro o configs.ko. André Cavalcante Porto Alegre, RS.