Николай Пакулин

  • Email:
  • Registered on: 11/26/2009
  • Last connection: 03/21/2017

Projects

Activity

Reported issues: 57

01/19/2017

01:35 am Deductive Verification Tools for Linux Kernel Bug #7873: Не удалось установить jessie
Проблема в том, что был установлен компилятор 4.01
Предлагаю добавить в скрипт проверку версии установленного компил...
01:10 am Deductive Verification Tools for Linux Kernel Bug #7873 (New): Не удалось установить jessie
При выполнении по инструкции получил сообщение об ошибке на шаге:
@sudo apt-get install $(opam install -e ubuntu jes...

12/27/2016

04:17 pm GPLv3 ARINC-653 RTOS Revision 9cfb778e (chpok): Added basic support for e5500. Execution in QEMU.

12/26/2016

01:09 pm GPLv3 ARINC-653 RTOS fsl-qoriq-glibc-x86_64-ppce500v2-toolchain-2.0.sh
Toolchain для P1010 от Freescale

12/25/2016

02:00 pm GPLv3 ARINC-653 RTOS Revision ac9b3e18 (chpok): Added flags for e500v2 compiler and QEMU

12/24/2016

01:27 am GPLv3 ARINC-653 RTOS powerpc-elf-eabispe.tgz
Тулчейн и GDB для e500v2

12/09/2016

11:46 am GPLv3 ARINC-653 RTOS Revision d0547d4f (chpok): Merge branch 'mallachiev-p3041-net-20161124'

12/06/2016

10:24 pm GPLv3 ARINC-653 RTOS Revision d8b5dda1 (chpok): Merge branch 'tsyvarev-libc-2016-11-14'

11/21/2016

12:52 pm GPLv3 ARINC-653 RTOS Revision 131d3798 (chpok): Merge branch 'mallachiev-syspart-graphic-20160610'

11/18/2016

03:58 pm GPLv3 ARINC-653 RTOS Revision a78d3661 (chpok): Merge branch 'mallachiev-gcc-optimisation-20161111'

Also available in: Atom