ada

  1. H

    Inquiry on Separating GNAT (Ada) from GCC in FreeBSD Ports and Default Configuration

    I'd like to use the latest Ada support on FreeBSD. When I run pkg search gnat, the latest GNAT version provided by the ports system is gnat13. This is behind the latest available GCC version. I found that GNAT is part of the GCC compiler suite, and I successfully built it by specifying the Ada...
  2. Y

    C mmap() /dev/ada drive or partition?

    I'd like to mmap a raw /dev/ada drive or partition, but mmap returns "Invalid argument". Is it unsupported? int fd = open("/dev/ada0p2", O_RDONLY); if(fd < 0) err(EX_OSERR, "open"); void *p = mmap(0, 32*1024*1024, PROT_READ, MAP_SHARED, fd, 0); if(p == MAP_FAILED) err(EX_OSERR...
  3. rigoletto@

    What is safety-critical software?

    Good presentation made by «Jean-Pierre Rosen», FOSDEM 2019.
  4. rigoletto@

    The Dæmon Desktop.

    Dæmon Desktop (The High-Integrity Desktop for Serious Workstations) This is a tentative to conceptualize a hypothetical ‘FreeBSD Workstation’, just in case of some entity eventually get interested on to design and implement it some day. The main inspiration for this brainstorm is the aiming to...
Back
Top