{"push_id":1309749582,"size":3,"distinct_size":3,"ref":"refs/heads/ppos","head":"af6e7a824e793c16651b1a71c0f88130f7b6a996","before":"f5cc3d0a5a6fd3537787638cf72b6a374613eea1","commits":[{"sha":"a56012151e0b25fd0389a8dca74f181de56006d7","author":{"name":"Phani","email":"3fa992dd70078f7e3fedc92a19a0310ed9a50e08@gwu.edu"},"message":"Bug fixes in cos_tcap_delegate and cos_rcv API\n\n* In addition, usage of cos_tcap_delegate() in vkernel, not really\n  demonstrating HPET usage, which is TODO for next push.","distinct":true,"url":"https://api.github.com/repos/gparmer/Composite/commits/a56012151e0b25fd0389a8dca74f181de56006d7"},{"sha":"d909c12e278821f45fdcd61bd1fef184f819e00b","author":{"name":"Phani","email":"3fa992dd70078f7e3fedc92a19a0310ed9a50e08@gwu.edu"},"message":"Basic scheduling with cos_tcap_delegate in vkernel\n\n* Some of the test in micro_booter are not feasible to run in vkernel\n  environment yet, so separated out the test suites for micro_booter and\n  vkernel feasible ones.\n* Basic scheduling works with fixed budgets to all VMs at each\n  cos_tcap_delegate call.\n* Removed BUG*() terminations which cause unnecessary dump on baremetal,\n  overwriting any essential logs on VGA, replacing them with SPIN() which\n  spins forever.","distinct":true,"url":"https://api.github.com/repos/gparmer/Composite/commits/d909c12e278821f45fdcd61bd1fef184f819e00b"},{"sha":"af6e7a824e793c16651b1a71c0f88130f7b6a996","author":{"name":"Gabriel Parmer","email":"08bb8ccfb6728689a3581734b79d739e27e35591@gmail.com"},"message":"Merge pull request #197 from phanikishoreg/ppos\n\nBug fixes in cos_tcap_delegate/cos_rcv API, simple working vkernel scheduling with tcaps","distinct":true,"url":"https://api.github.com/repos/gparmer/Composite/commits/af6e7a824e793c16651b1a71c0f88130f7b6a996"}]}
{"actor":{"display_login":"gparmer"}}