Forums before death by AOL, social media and spammers... "We can't have nice things"
|    sci.logic    |    Logic -- math, philosophy & computationa    |    262,912 messages    |
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
|    Message 261,469 of 262,912    |
|    Ross Finlayson to All    |
|    Re: Meta: a usenet server just for sci.m    |
|    29 Nov 25 03:54:06    |
      [continued from previous message]              Slique data structure (unbounded in simulator)       Mock devices (NIC, disk, timer)              Phase 2 (Weeks 5-8): TTASM compiler              Parser for TTASM syntax       Code generator for x86-64 GNU AS       Template library for common operations       Cross-validation against simulator              Phase 3 (Weeks 9-12): Test harness              100+ unit tests for re-routines       Property-based testing (QuickCheck-style)       Trace segment validation       Cycle-accurate performance tests              Phase 4 (Weeks 13-16): Concrete adapter              Minimal x86-64 boot code (UEFI → kernel)       Intel I225 NIC driver (single RX queue)       NVMe driver (single submission queue)       Integration test: Echo packet in QEMU              Deliverable: Proof-of-concept that boots, receives one packet, echoes it       back, shuts down cleanly. Fully instrumented with trace segments. Cycle       counts documented.       This is achievable in 16 weeks with a single skilled developer.       Ready to proceed, RF?              --- SoupGate-Win32 v1.05        * Origin: you cannot sedate... all the things you hate (1:229/2)    |
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
(c) 1994, bbs@darkrealms.ca