{"push_id":1124503431,"size":21,"distinct_size":21,"ref":"refs/heads/arm_hyp","head":"a745a6bd6cc0f07631376802e826d5a3598c2781","before":"f2771c004c80043188c8747fcb8158e38aa2968e","commits":[{"sha":"3abf177c5b2119df1f61efe997c944e8cb96e8e6","author":{"email":"836417ec15832879aa6968847196f44ca9d95f7c@nicta.com.au","name":"Yanyan Shen"},"message":"arm_hyp: add file to contain hyp mode inline funcs\n\nmachine_pl2.h:\nnew place for hyp mode inline functions.\n\nboot.c:\nreplace #ifdef ARM_HYP with config_set(ARM_HYP).\n\nvcpu.h, machine_pl2.h:\nadd empty functions when ARM_HYP is not defined to\npass compilation.","distinct":true,"url":"https://api.github.com/repos/seL4/seL4/commits/3abf177c5b2119df1f61efe997c944e8cb96e8e6"},{"sha":"1cdc450cb38896db9ededeaa888bb1ab2f62bdd1","author":{"email":"836417ec15832879aa6968847196f44ca9d95f7c@nicta.com.au","name":"Yanyan Shen"},"message":"arm_hyp: remove unused function declaration.\n\nremove map_hypervisor_devices function declaration.","distinct":true,"url":"https://api.github.com/repos/seL4/seL4/commits/1cdc450cb38896db9ededeaa888bb1ab2f62bdd1"},{"sha":"8e2e8db9763fdaa54f20ac7c6a215db77bc2d4c2","author":{"email":"836417ec15832879aa6968847196f44ca9d95f7c@nicta.com.au","name":"Yanyan Shen"},"message":"arm_hyp: rm ARM_HYP ifdefs; func inline assembly\n\nvcpu.c:\nencapsulate inline assembly into inline functions that added to\ndevice_pl2.h file.\n\nother files:\nreplace #ifdef ARM_HYP with config_set(ARM_HYP)","distinct":true,"url":"https://api.github.com/repos/seL4/seL4/commits/8e2e8db9763fdaa54f20ac7c6a215db77bc2d4c2"},{"sha":"24747dc5591302eb81065951400b4e8806d6a01a","author":{"email":"836417ec15832879aa6968847196f44ca9d95f7c@nicta.com.au","name":"Yanyan Shen"},"message":"arm_hyp: remove unused macros","distinct":true,"url":"https://api.github.com/repos/seL4/seL4/commits/24747dc5591302eb81065951400b4e8806d6a01a"},{"sha":"b0b5d5aaab9406ce9a1ab92baf39b462807c0f90","author":{"email":"836417ec15832879aa6968847196f44ca9d95f7c@nicta.com.au","name":"Yanyan Shen"},"message":"arm/tk1: add support for Nvidia Tegra K1 board","distinct":true,"url":"https://api.github.com/repos/seL4/seL4/commits/b0b5d5aaab9406ce9a1ab92baf39b462807c0f90"},{"sha":"6b2c9ade2a55e391966e889f70f1a7eb1dc21bcf","author":{"email":"836417ec15832879aa6968847196f44ca9d95f7c@nicta.com.au","name":"Yanyan Shen"},"message":"Merge branch 'feature/tk1' into feature/arm_hyp_tk1","distinct":true,"url":"https://api.github.com/repos/seL4/seL4/commits/6b2c9ade2a55e391966e889f70f1a7eb1dc21bcf"},{"sha":"4178a9e79f9e0f101b189efacbd50ed953f82c76","author":{"email":"836417ec15832879aa6968847196f44ca9d95f7c@nicta.com.au","name":"Yanyan Shen"},"message":"arm/arm_hyp: replace macros with explicit inline","distinct":true,"url":"https://api.github.com/repos/seL4/seL4/commits/4178a9e79f9e0f101b189efacbd50ed953f82c76"},{"sha":"96222bfce796fca16337fc756ed2e0f9bcb7482d","author":{"email":"836417ec15832879aa6968847196f44ca9d95f7c@nicta.com.au","name":"Yanyan Shen"},"message":"arm/arm_hyp: remove #ifdef ARM_HYPs","distinct":true,"url":"https://api.github.com/repos/seL4/seL4/commits/96222bfce796fca16337fc756ed2e0f9bcb7482d"},{"sha":"3287bb0e2d54bab1320b893ebdf2ca69fbf230b0","author":{"email":"836417ec15832879aa6968847196f44ca9d95f7c@nicta.com.au","name":"Yanyan Shen"},"message":"Merge branch 'arm_hyp' into feature/arm_hyp_tk1","distinct":true,"url":"https://api.github.com/repos/seL4/seL4/commits/3287bb0e2d54bab1320b893ebdf2ca69fbf230b0"},{"sha":"cbb6bf15d1aee0542d78d849de3cc035d27f54c1","author":{"email":"836417ec15832879aa6968847196f44ca9d95f7c@nicta.com.au","name":"Yanyan Shen"},"message":"arm_hyp: add file to contain hyp mode inline funcs\n\nmachine_pl2.h:\nnew place for hyp mode inline functions.\n\nboot.c:\nreplace #ifdef ARM_HYP with config_set(ARM_HYP).\n\nvcpu.h, machine_pl2.h:\nadd empty functions when ARM_HYP is not defined to\npass compilation.","distinct":true,"url":"https://api.github.com/repos/seL4/seL4/commits/cbb6bf15d1aee0542d78d849de3cc035d27f54c1"},{"sha":"d195a02b91f0bbdebb82a3afe39eebace16d1f57","author":{"email":"836417ec15832879aa6968847196f44ca9d95f7c@nicta.com.au","name":"Yanyan Shen"},"message":"arm_hyp: remove unused function declaration.\n\nremove map_hypervisor_devices function declaration.","distinct":true,"url":"https://api.github.com/repos/seL4/seL4/commits/d195a02b91f0bbdebb82a3afe39eebace16d1f57"},{"sha":"67bcf2357c0c9be72f72ed8878bc5222f00ed374","author":{"email":"836417ec15832879aa6968847196f44ca9d95f7c@nicta.com.au","name":"Yanyan Shen"},"message":"arm_hyp: rm ARM_HYP ifdefs; func inline assembly\n\nvcpu.c:\nencapsulate inline assembly into inline functions that added to\ndevice_pl2.h file.\n\nother files:\nreplace #ifdef ARM_HYP with config_set(ARM_HYP)","distinct":true,"url":"https://api.github.com/repos/seL4/seL4/commits/67bcf2357c0c9be72f72ed8878bc5222f00ed374"},{"sha":"90a3cdfb74b091da4516bf88c57ea2e65b67dba5","author":{"email":"836417ec15832879aa6968847196f44ca9d95f7c@nicta.com.au","name":"Yanyan Shen"},"message":"arm_hyp: remove unused macros","distinct":true,"url":"https://api.github.com/repos/seL4/seL4/commits/90a3cdfb74b091da4516bf88c57ea2e65b67dba5"},{"sha":"4d8f933aba7725f67376e07e54129efc90fc6a99","author":{"email":"836417ec15832879aa6968847196f44ca9d95f7c@nicta.com.au","name":"Yanyan Shen"},"message":"arm/arm_hyp: replace macros with explicit inline","distinct":true,"url":"https://api.github.com/repos/seL4/seL4/commits/4d8f933aba7725f67376e07e54129efc90fc6a99"},{"sha":"00538bb658ff220427441c6d68e119991afda7d4","author":{"email":"836417ec15832879aa6968847196f44ca9d95f7c@nicta.com.au","name":"Yanyan Shen"},"message":"arm/arm_hyp: remove #ifdef ARM_HYPs","distinct":true,"url":"https://api.github.com/repos/seL4/seL4/commits/00538bb658ff220427441c6d68e119991afda7d4"},{"sha":"c13eeffddcbf2e0586d7ea5ae339377625b1c5a9","author":{"email":"836417ec15832879aa6968847196f44ca9d95f7c@nicta.com.au","name":"Yanyan Shen"},"message":"arm/tk1: add system MMU structures for TK1","distinct":true,"url":"https://api.github.com/repos/seL4/seL4/commits/c13eeffddcbf2e0586d7ea5ae339377625b1c5a9"},{"sha":"fa9b6e43128731226ac7209ed3c4f77f0c7ea13c","author":{"email":"836417ec15832879aa6968847196f44ca9d95f7c@nicta.com.au","name":"Yanyan Shen"},"message":"arm/tk1: addresses/interrupts for hyp mode","distinct":true,"url":"https://api.github.com/repos/seL4/seL4/commits/fa9b6e43128731226ac7209ed3c4f77f0c7ea13c"},{"sha":"454efecbcfcb7dbe4e2c3992525ab2d78324f202","author":{"email":"836417ec15832879aa6968847196f44ca9d95f7c@nicta.com.au","name":"Yanyan Shen"},"message":"Merge branch 'feature/arm_hyp_tk1' of ssh://bitbucket:7999/~yshen/sel4k into feature/arm_hyp_tk1","distinct":true,"url":"https://api.github.com/repos/seL4/seL4/commits/454efecbcfcb7dbe4e2c3992525ab2d78324f202"},{"sha":"25d8153eb5577d158f5cb6d61447f5862bb27a9e","author":{"email":"836417ec15832879aa6968847196f44ca9d95f7c@nicta.com.au","name":"Yanyan Shen"},"message":"arm_hyp/tk1: Fix GIC code. Expose Linux VM memory","distinct":true,"url":"https://api.github.com/repos/seL4/seL4/commits/25d8153eb5577d158f5cb6d61447f5862bb27a9e"},{"sha":"c4692926a87076d816a207fadee6e0fa3bd66673","author":{"email":"836417ec15832879aa6968847196f44ca9d95f7c@nicta.com.au","name":"Yanyan Shen"},"message":"arm_hyp/tk1: address review comments","distinct":true,"url":"https://api.github.com/repos/seL4/seL4/commits/c4692926a87076d816a207fadee6e0fa3bd66673"}]}
{"actor":{"display_login":"ssrg-bamboo"}}